2025
Neural Continuous-Time Supermartingale Certificates.
Proceedings of the AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25, 2025
In Search of Trees: Decision-Tree Policy Synthesis for Black-Box Systems via Search.
Proceedings of the AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25, 2025
2024
Synthesis of Hierarchical Controllers Based on Deep Reinforcement Learning Policies.
CoRR, 2024
2023
Into the unknown: active monitoring of neural networks (extended version).
Int. J. Softw. Tools Technol. Transf., August, 2023
Safety Verification of Decision-Tree Policies in Continuous Time.
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023
Combining Runtime Monitoring and Machine Learning with Human Feedback.
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
MurTree: Optimal Decision Trees via Dynamic Programming and Search.
J. Mach. Learn. Res., 2022
2021
Into the Unknown: Active Monitoring of Neural Networks.
Proceedings of the Runtime Verification - 21st International Conference, 2021
2020
MurTree: Optimal Classification Trees via Dynamic Programming and Search.
CoRR, 2020
V-Formation via Model Predictive Control.
CoRR, 2020
Formal Methods with a Touch of Magic.
Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020
Outside the Box: Abstraction-Based Monitoring of Neural Networks.
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020
2019
Statistical Model Checking.
Proceedings of the Computing and Software Science - State of the Art and Perspectives, 2019
Distributed adaptive-neighborhood control for stochastic reachability in multi-agent systems.
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019
Adaptive Optimization Framework for Control of Multi-Agent Systems.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019
2018
Adaptive Neighborhood Resizing for Stochastic Reachability in Multi-Agent Systems.
CoRR, 2018
OpenUAV: a UAV testbed for the CPS and robotics community.
Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018
Formation control and persistent monitoring in the openUAV swarm simulator on the NSF CPS-VO.
Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018
Resilient Control and Safety for Cyber-Physical Systems.
Proceedings of the 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, 2018
2017
ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
Resilient Control and Safety for Multi-Agent Cyber-Physical Systems.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Attacking the V: On the Resiliency of Adaptive-Horizon MPC.
Proceedings of the Automated Technology for Verification and Analysis, 2017
V for Verification: Intelligent Algorithm of Checking Reliability of Smart Systems.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017
2016
Feedback Control for Statistical Model Checking of Cyber-Physical Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016