| Publication | Date of Publication | Type |
|---|
A data-driven approach for safety quantification of non-linear stochastic systems with unknown additive noise distribution
Automatica | 2026-09-10 | Paper |
A unifying perspective for safety of stochastic systems: from barrier functions to finite abstractions
IEEE Transactions on Automatic Control | 2026-03-17 | Paper |
| Scalable control synthesis for stochastic systems via structural imdp abstractions | 2025-11-07 | Paper |
| Memory-dependent abstractions of stochastic systems through the Lens of transfer operators | 2025-11-07 | Paper |
Formal verification of unknown dynamical systems via Gaussian process regression
IEEE Transactions on Automatic Control | 2025-10-06 | Paper |
Efficient strategy synthesis for switched stochastic systems with distributional uncertainty
Nonlinear Analysis. Hybrid Systems | 2025-02-12 | Paper |
Probabilistic reach-avoid for Bayesian neural networks
Artificial Intelligence | 2024-08-26 | Paper |
Formal analysis of the sampling behavior of stochastic event-triggered control
IEEE Transactions on Automatic Control | 2024-08-19 | Paper |
A Bayesian defect-based physics-guided neural network model for probabilistic fatigue endurance limit evaluation
Computer Methods in Applied Mechanics and Engineering | 2024-03-21 | Paper |
Distributionally Robust Strategy Synthesis for Switched Stochastic Systems
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Interval Markov Decision Processes with Continuous Action-Spaces
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Programming discrete distributions with chemical reaction networks
Natural Computing | 2023-11-30 | Paper |
| Syntax-guided optimal synthesis for chemical reaction networks | 2022-08-12 | Paper |
PID Control of Biochemical Reaction Networks
IEEE Transactions on Automatic Control | 2022-02-24 | Paper |
Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes
IEEE Transactions on Automatic Control | 2021-03-12 | Paper |
Central limit model checking
ACM Transactions on Computational Logic | 2019-11-22 | Paper |
Central limit model checking
ACM Transactions on Computational Logic | 2019-11-22 | Paper |
Efficiency through uncertainty
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control | 2019-10-22 | Paper |
Experimental biological protocols with formal semantics
(available as arXiv preprint) | 2018-10-17 | Paper |
| A stochastic hybrid approximation for chemical kinetics based on the linear noise approximation | 2018-03-22 | Paper |
| Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation | 2018-01-11 | 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 |
Programming discrete distributions with chemical reaction networks
Lecture Notes in Computer Science | 2016-11-30 | Paper |
Programming discrete distributions with chemical reaction networks
Lecture Notes in Computer Science | 2016-11-30 | Paper |
