| Publication | Date of Publication | Type |
|---|
Scalable synthesis of safety barrier certificates for networks of stochastic switched systems
IEEE Transactions on Automatic Control | 2025-01-21 | Paper |
Data-driven verification and synthesis of stochastic systems via barrier certificates
Automatica | 2024-05-14 | Paper |
Compositional synthesis of control barrier certificates for networks of stochastic systems against \(\omega\)-regular specifications
Nonlinear Analysis. Hybrid Systems | 2024-03-01 | Paper |
A Compositional Dissipativity Approach for Data-Driven Safety Verification of Large-Scale Dynamical Systems
IEEE Transactions on Automatic Control | 2024-02-29 | Paper |
Estimating infinitesimal generators of stochastic systems with formal error bounds
Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Formal safety verification of unknown continuous-time systems
Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Poster Abstract: Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations
25th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Poster Abstract: Data-Driven Estimation of Collision Risks for Autonomous Vehicles with Formal Guarantees*
25th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach
IEEE Transactions on Automatic Control | 2023-09-29 | Paper |
From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems
IEEE Transactions on Automatic Control | 2023-09-24 | Paper |
From Dissipativity Theory to Compositional Synthesis of Large-Scale Stochastic Switched Systems
IEEE Transactions on Automatic Control | 2023-09-21 | Paper |
Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations
Automatica | 2022-12-09 | Paper |
Automated verification and synthesis of stochastic hybrid systems: a survey
Automatica | 2022-11-14 | Paper |
Safe-visor architecture for sandboxing (AI-based) unverified controllers in stochastic cyber-physical systems
Nonlinear Analysis. Hybrid Systems | 2022-02-10 | Paper |
Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations
Nonlinear Analysis. Hybrid Systems | 2021-12-13 | Paper |
Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems
IEEE Transactions on Automatic Control | 2021-03-12 | Paper |
\textsf{AMYTISS}: parallelized automated controller synthesis for large-scale stochastic systems
(available as arXiv preprint) | 2021-02-09 | Paper |
AMYTISS
Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control | 2021-01-25 | Paper |
Compositional abstraction of large-scale stochastic systems: a relaxed dissipativity approach
Nonlinear Analysis. Hybrid Systems | 2020-05-07 | Paper |
Compositional abstraction-based synthesis for networks of stochastic switched systems
Automatica | 2020-04-17 | Paper |
Compositional construction of infinite abstractions for networks of stochastic control systems
Automatica | 2019-12-19 | Paper |
From dissipativity theory to compositional construction of finite Markov decision processes
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) | 2018-12-06 | Paper |
