| Publication | Date of Publication | Type |
|---|
Policy Evaluation in Distributional LQR (Extended Version)
(available as arXiv preprint) | N/A | Paper |
A data-driven approach for safety quantification of non-linear stochastic systems with unknown additive noise distribution
Automatica | 2026-09-10 | Paper |
Partial identifiability and misspecification in inverse reinforcement learning
Artificial Intelligence | 2026-07-24 | Paper |
Quantitative verification with neural networks
Logical Methods in Computer Science | 2026-05-29 | Paper |
Data-driven memory-dependent abstractions of dynamical systems via a Cantor-Kantorovich metric
IEEE Transactions on Automatic Control | 2026-03-17 | Paper |
Policy evaluation in distributional LQR
IEEE Transactions on Automatic Control | 2026-03-17 | Paper |
Data-driven certificate synthesis
Automatica | 2026-02-27 | Paper |
| Robust aggregation of electric vehicle flexibility | 2025-11-07 | Paper |
| Quantitative verification with neural networks | 2025-06-26 | Paper |
| Fossil 2.0: formal certificate synthesis for the verification and control of dynamical models | 2025-04-25 | Paper |
| CTL model checking of MDPs over distribution spaces: algorithms and sampling-based computations | 2025-04-25 | Paper |
Probabilistic reach-avoid for Bayesian neural networks
Artificial Intelligence | 2024-08-26 | Paper |
Distributional reachability for Markov decision processes: theory and applications
IEEE Transactions on Automatic Control | 2024-08-19 | Paper |
| Formal controller synthesis for Markov jump linear systems with uncertain dynamics | 2024-05-29 | Paper |
| Bayes-Adaptive Planning for Data-Efficient Verification of Uncertain Markov Decision Processes | 2024-03-14 | Paper |
On Imperfect Recall in Multi-Agent Influence Diagrams
Electronic Proceedings in Theoretical Computer Science | 2024-02-28 | Paper |
FOSSIL
Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Grid-Free Computation of Probabilistic Safety With Malliavin Calculus
IEEE Transactions on Automatic Control | 2024-01-25 | Paper |
| Stability Analysis of Switched Linear Systems with Neural Lyapunov Functions | 2023-12-13 | Paper |
Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-Time Systems
IEEE Transactions on Automatic Control | 2023-09-24 | Paper |
Certified reinforcement learning with logic guidance
Artificial Intelligence | 2023-08-28 | Paper |
| SMT-based model checking of max-plus linear systems | 2023-08-21 | Paper |
Reasoning about causality in games
Artificial Intelligence | 2023-06-27 | Paper |
Synthesising programs with non-trivial constants
Journal of Automated Reasoning | 2023-06-27 | Paper |
Counterexample guided inductive synthesis modulo theories
Computer Aided Verification | 2023-05-26 | Paper |
| ABC(SMC)\textsuperscript{2}: simultaneous inference and model checking of chemical reaction networks | 2022-12-22 | Paper |
Model-based formal reliability analysis of grid dynamics with solar energy sources
Lecture Notes in Control and Information Sciences - Proceedings | 2022-11-29 | Paper |
Automated verification and synthesis of stochastic hybrid systems: a survey
Automatica | 2022-11-14 | Paper |
Automated and sound synthesis of Lyapunov functions with SMT solvers
Tools and Algorithms for the Construction and Analysis of Systems | 2022-10-13 | Paper |
SMT-Based Reachability Analysis of High Dimensional Interval Max-Plus Linear Systems
IEEE Transactions on Automatic Control | 2022-07-28 | Paper |
Sound Numerical Computations in Abstract Acceleration
Numerical Software Verification | 2022-07-01 | Paper |
| Learning probabilistic termination proofs | 2022-03-25 | Paper |
| Formal abstraction and synthesis of parametric stochastic processes | 2022-03-24 | Paper |
| Markov Chain Approximations to Stochastic Differential Equations by Recombination on Lattice Trees | 2021-11-05 | Paper |
Automated and formal synthesis of neural barrier certificates for dynamical models
(available as arXiv preprint) | 2021-08-04 | Paper |
Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration
Journal of Automated Reasoning | 2021-06-09 | Paper |
Formal Control Synthesis via Simulation Relations and Behavioral Theory for Discrete-Time Descriptor Systems
IEEE Transactions on Automatic Control | 2021-05-28 | Paper |
Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes
IEEE Transactions on Automatic Control | 2021-03-12 | Paper |
| Deep reinforcement learning with temporal logics | 2021-03-02 | Paper |
Computation of the transient in max-plus linear systems via SMT-solving
(available as arXiv preprint) | 2021-03-02 | Paper |
| Symbolic Reachability Analysis of High Dimensional Max-Plus Linear Systems | 2020-07-08 | Paper |
| A Randomized Algorithm to Reduce the Support of Discrete Measures | 2020-06-02 | Paper |
| Carath\'eodory Sampling for Stochastic Gradient Descent | 2020-06-02 | Paper |
Bounded model checking of max-plus linear systems via predicate abstractions
(available as arXiv preprint) | 2020-05-05 | Paper |
Automated formal synthesis of provably safe digital controllers for continuous plants
Acta Informatica | 2020-03-06 | Paper |
Efficiency through uncertainty
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control | 2019-10-22 | Paper |
StocHy - automated verification and synthesis of stochastic processes
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control | 2019-10-22 | Paper |
| Safety verification of continuous-space pure jump Markov processes | 2019-09-17 | Paper |
Symbolic Abstractions of Networked Control Systems
IEEE Transactions on Control of Network Systems | 2019-03-29 | Paper |
Tropical abstractions of MAX-plus linear systems
(available as arXiv preprint) | 2018-12-06 | Paper |
| Approximate policy iteration for Markov decision processes via quantitative adaptive aggregations | 2018-10-25 | Paper |
Experimental biological protocols with formal semantics
(available as arXiv preprint) | 2018-10-17 | Paper |
| Formal and data association aware robust belief space planning | 2018-08-29 | Paper |
Tropical Abstractions of Max-Plus-Linear Systems
(available as arXiv preprint) | 2018-06-12 | Paper |
| Adaptive aggregation of Markov chains: quantitative analysis of chemical reaction networks | 2018-03-01 | Paper |
Towards scalable synthesis of stochastic control systems
Discrete Event Dynamic Systems | 2018-01-31 | Paper |
Symbolic models for stochastic switched systems: A discretization and a discretization-free approach
Automatica | 2018-01-12 | Paper |
Verification of general Markov decision processes by approximate similarity relations and policy refinement
(available as arXiv preprint) | 2018-01-11 | Paper |
| Data-efficient Bayesian verification of parametric Markov chains | 2018-01-11 | Paper |
Data-driven and model-based verification via Bayesian identification and reachability analysis
Automatica | 2017-10-11 | Paper |
Computational techniques for reachability analysis of Max-Plus-Linear systems
Automatica | 2017-10-11 | Paper |
| Dynamic Bayesian networks as formal abstractions of structured stochastic processes | 2017-09-12 | Paper |
Infinite-Horizon Switched LQR Problems in Discrete Time: A Suboptimal Algorithm With Performance Analysis
IEEE Transactions on Automatic Control | 2017-09-08 | Paper |
Finite Abstractions of Max-Plus-Linear Systems
IEEE Transactions on Automatic Control | 2017-09-08 | Paper |
Approximate Abstractions of Stochastic Hybrid Systems
IEEE Transactions on Automatic Control | 2017-08-25 | Paper |
Verification of general Markov decision processes by approximate similarity relations and policy refinement
SIAM Journal on Control and Optimization | 2017-08-14 | Paper |
On the Value Functions of the Discrete-Time Switched LQR Problem
IEEE Transactions on Automatic Control | 2017-08-08 | Paper |
Reachability computation for switching diffusions, finite abstractions with certifiable and tuneable precision
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control | 2017-07-11 | Paper |
Sound and automated synthesis of digital stabilizing controllers for continuous plants
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control | 2017-07-11 | Paper |
A stochastic games framework for verification and control of discrete time stochastic hybrid systems
Automatica | 2017-06-02 | Paper |
On the relationship between bisimulation and trace equivalence in an approximate probabilistic context
Lecture Notes in Computer Science | 2017-05-19 | Paper |
Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions
IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
On the Optimal Solutions of the Infinite-Horizon Linear Sensor Scheduling Problem
IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
Probabilistic Reach-Avoid Computation for Partially Degenerate Stochastic Processes
IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
Quantitative automata model checking of autonomous stochastic hybrid systems
Proceedings of the 14th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
Probabilistic invariance of mixed deterministic-stochastic dynamical systems
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control | 2017-05-16 | Paper |
Regularization of Bellman equations for infinite-horizon probabilistic properties
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control | 2017-05-16 | Paper |
Robust PCTL model checking
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control | 2017-05-16 | Paper |
Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems
Proceedings of the 16th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems
Proceedings of the 16th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
Bisimilar symbolic models for stochastic control systems without state-space discretization
Proceedings of the 17th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
On approximation metrics for linear temporal model-checking of stochastic systems
Proceedings of the 17th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
Formal Verification of Stochastic Max-Plus-Linear Systems
IEEE Transactions on Automatic Control | 2017-05-03 | Paper |
Dynamic Bayesian networks for formal verification of structured stochastic processes
Acta Informatica | 2017-04-20 | Paper |
Dynamic Bayesian networks for formal verification of structured stochastic processes
Acta Informatica | 2017-04-20 | Paper |
Quantitative model-checking of controlled discrete-time Markov processes
Information and Computation | 2017-03-16 | Paper |
| Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey | 2016-04-19 | Paper |
\texttt{VeriSIMPL 2}: an open-source software for the verification of max-plus-linear systems
Discrete Event Dynamic Systems | 2016-03-29 | Paper |
Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions
Logical Methods in Computer Science | 2015-10-29 | Paper |
Unbounded-time analysis of guarded LTI systems with inputs by abstract acceleration
Static Analysis | 2015-10-02 | Paper |
Multi-objective parameter synthesis in probabilistic hybrid systems
Lecture Notes in Computer Science | 2015-09-14 | Paper |
Intra-seasonal strategies based on energy budgets in a dynamic predator-prey game
Annals of the International Society of Dynamic Games | 2014-10-31 | Paper |
Approximately bisimilar symbolic models for randomly switched stochastic systems
Systems & Control Letters | 2014-06-13 | Paper |
On the effect of perturbation of conditional probabilities in total variation
Statistics & Probability Letters | 2014-06-11 | Paper |
Adaptive and sequential gridding procedures for the abstraction and verification of stochastic processes
SIAM Journal on Applied Dynamical Systems | 2014-01-22 | Paper |
Characterization and computation of infinite-horizon specifications over Markov processes
Theoretical Computer Science | 2013-12-10 | Paper |
On efficient sensor scheduling for linear dynamical systems
Automatica | 2013-08-28 | Paper |
Design and analysis of a flow control scheme over wireless networks
International Journal of Robust and Nonlinear Control | 2013-05-14 | Paper |
Irreversible prey diapause as an optimal strategy of a physiologically extended Lotka-Volterra model
Journal of Mathematical Biology | 2013-03-26 | Paper |
Piecewise affine approximations of fluxes and enzyme kinetics from in vivo \(^{13}\text{C}\) labeling experiments
International Journal of Robust and Nonlinear Control | 2013-03-13 | Paper |
Higher-order approximations for verification of stochastic hybrid systems
Automated Technology for Verification and Analysis | 2012-11-21 | Paper |
