| Publication | Date of Publication | Type |
|---|
Fast symbolic algorithms for omega-regular games under strong transition fairness
TheoretiCS | 2024-07-03 | Paper |
Data-driven abstraction-based control synthesis
Nonlinear Analysis. Hybrid Systems | 2024-06-07 | Paper |
| Verification of quantum systems using barrier certificates | 2024-05-29 | Paper |
Data-driven verification and synthesis of stochastic systems via barrier certificates
Automatica | 2024-05-14 | Paper |
Symbolic control for stochastic systems via finite parity games
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 |
The computability of LQR and LQG control
Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
SySCoRe: Synthesis via Stochastic Coupling Relations
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Poster Abstract: Data-Driven Correct-by-Design Control of Parametric Stochastic Systems✱
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Poster Abstract: A Toolchain for Accelerated Symbolic Control
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
| A direct symbolic algorithm for solving stochastic Rabin games | 2024-02-01 | Paper |
| A flexible toolchain for symbolic Rabin games under fair and stochastic uncertainties | 2024-02-01 | Paper |
Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach
IEEE Transactions on Automatic Control | 2023-09-29 | Paper |
| scientific article; zbMATH DE number 7724207 (Why is no real title available?) | 2023-08-08 | Paper |
Temporal logic verification of stochastic systems using barrier certificates
Automated Technology for Verification and Analysis | 2023-07-28 | Paper |
Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach
Quantitative Evaluation of Systems | 2023-06-28 | Paper |
| Formal Policy Synthesis for Continuous-State Systems via Reinforcement Learning | 2023-03-21 | Paper |
Automated verification and synthesis of stochastic hybrid systems: a survey
Automatica | 2022-11-14 | Paper |
Compositional construction of control barrier functions for continuous-time stochastic hybrid systems
Automatica | 2022-09-30 | Paper |
Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations
Nonlinear Analysis. Hybrid Systems | 2021-12-13 | Paper |
Data-driven verification of stochastic linear systems with signal temporal logic constraints
Automatica | 2021-11-19 | Paper |
Formal Synthesis of Stochastic Systems via Control Barrier Certificates
IEEE Transactions on Automatic Control | 2021-07-26 | Paper |
Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems
IEEE Transactions on Automatic Control | 2021-07-26 | 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 |
Symbolic controller synthesis for Büchi specifications on stochastic systems
Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control | 2021-01-25 | Paper |
Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems
European Journal of Control | 2021-01-21 | 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 |
Shrinking Horizon Model Predictive Control With Signal Temporal Logic Constraints Under Stochastic Disturbances
IEEE Transactions on Automatic Control | 2019-08-12 | Paper |
Compositional Synthesis of Finite-State Abstractions
IEEE Transactions on Automatic Control | 2019-07-18 | 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 |
| Formal and data association aware robust belief space planning | 2018-08-29 | Paper |
