| Publication | Date of Publication | Type |
|---|
| Probabilistic reach-avoid for Bayesian neural networks | 2024-08-26 | Paper |
| Distributional reachability for Markov decision processes: theory and applications | 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 | 2024-02-28 | Paper |
| FOSSIL | 2024-02-21 | Paper |
| Grid-Free Computation of Probabilistic Safety With Malliavin Calculus | 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 | 2023-09-24 | Paper |
| Certified reinforcement learning with logic guidance | 2023-08-28 | Paper |
| SMT-based model checking of max-plus linear systems | 2023-08-21 | Paper |
| Reasoning about causality in games | 2023-06-27 | Paper |
| Synthesising programs with non-trivial constants | 2023-06-27 | Paper |
| Counterexample guided inductive synthesis modulo theories | 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 | 2022-11-29 | Paper |
| Automated verification and synthesis of stochastic hybrid systems: a survey | 2022-11-14 | Paper |
| Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers | 2022-10-13 | Paper |
| SMT-Based Reachability Analysis of High Dimensional Interval Max-Plus Linear Systems | 2022-07-28 | Paper |
| Sound Numerical Computations in Abstract Acceleration | 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 | 2021-08-04 | Paper |
| Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration | 2021-06-09 | Paper |
| Formal Control Synthesis via Simulation Relations and Behavioral Theory for Discrete-Time Descriptor Systems | 2021-05-28 | Paper |
| Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes | 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 | 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 | 2020-05-05 | Paper |
| Automated formal synthesis of provably safe digital controllers for continuous plants | 2020-03-06 | Paper |
| StocHy - automated verification and synthesis of stochastic processes | 2019-10-22 | Paper |
| Efficiency through uncertainty | 2019-10-22 | Paper |
| Safety verification of continuous-space pure jump Markov processes | 2019-09-17 | Paper |
| Symbolic Abstractions of Networked Control Systems | 2019-03-29 | Paper |
| Tropical abstractions of MAX-plus linear systems | 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 | 2018-10-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4583940 | 2018-08-29 | Paper |
| Tropical Abstractions of Max-Plus-Linear Systems | 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 | 2018-01-31 | Paper |
| Symbolic models for stochastic switched systems: A discretization and a discretization-free approach | 2018-01-12 | Paper |
| Verification of general Markov decision processes by approximate similarity relations and policy refinement | 2018-01-11 | Paper |
| Data-efficient Bayesian verification of parametric Markov chains | 2018-01-11 | Paper |
| Computational techniques for reachability analysis of Max-Plus-Linear systems | 2017-10-11 | Paper |
| Data-driven and model-based verification via Bayesian identification and reachability analysis | 2017-10-11 | Paper |
| Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes | 2017-09-12 | Paper |
| Finite Abstractions of Max-Plus-Linear Systems | 2017-09-08 | Paper |
| Infinite-Horizon Switched LQR Problems in Discrete Time: A Suboptimal Algorithm With Performance Analysis | 2017-09-08 | Paper |
| Approximate Abstractions of Stochastic Hybrid Systems | 2017-08-25 | Paper |
| Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement | 2017-08-14 | Paper |
| On the Value Functions of the Discrete-Time Switched LQR Problem | 2017-08-08 | Paper |
| Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants | 2017-07-11 | Paper |
| Reachability Computation for Switching Diffusions | 2017-07-11 | Paper |
| A stochastic games framework for verification and control of discrete time stochastic hybrid systems | 2017-06-02 | Paper |
| On the Relationship Between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context | 2017-05-19 | Paper |
| Probabilistic Reach-Avoid Computation for Partially Degenerate Stochastic Processes | 2017-05-16 | Paper |
| Quantitative automata model checking of autonomous stochastic hybrid systems | 2017-05-16 | Paper |
| Regularization of bellman equations for infinite-horizon probabilistic properties | 2017-05-16 | Paper |
| Probabilistic invariance of mixed deterministic-stochastic dynamical systems | 2017-05-16 | Paper |
| Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems | 2017-05-16 | Paper |
| Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems | 2017-05-16 | Paper |
| On the Optimal Solutions of the Infinite-Horizon Linear Sensor Scheduling Problem | 2017-05-16 | Paper |
| Robust PCTL model checking | 2017-05-16 | Paper |
| Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions | 2017-05-16 | Paper |
| Bisimilar symbolic models for stochastic control systems without state-space discretization | 2017-05-16 | Paper |
| On approximation metrics for linear temporal model-checking of stochastic systems | 2017-05-16 | Paper |
| Formal Verification of Stochastic Max-Plus-Linear Systems | 2017-05-03 | Paper |
| Dynamic Bayesian networks for formal verification of structured stochastic processes | 2017-04-20 | Paper |
| Quantitative model-checking of controlled discrete-time Markov processes | 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 | 2016-03-29 | Paper |
| Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions | 2015-10-29 | Paper |
| Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration | 2015-10-02 | Paper |
| Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems | 2015-09-14 | Paper |
| Intra-seasonal Strategies Based on Energy Budgets in a Dynamic Predator–Prey Game | 2014-10-31 | Paper |
| Approximately bisimilar symbolic models for randomly switched stochastic systems | 2014-06-13 | Paper |
| On the effect of perturbation of conditional probabilities in total variation | 2014-06-11 | Paper |
| Adaptive and sequential gridding procedures for the abstraction and verification of stochastic processes | 2014-01-22 | Paper |
| Characterization and computation of infinite-horizon specifications over Markov processes | 2013-12-10 | Paper |
| On efficient sensor scheduling for linear dynamical systems | 2013-08-28 | Paper |
| Design and analysis of a flow control scheme over wireless networks | 2013-05-14 | Paper |
| Irreversible prey diapause as an optimal strategy of a physiologically extended Lotka-Volterra model | 2013-03-26 | Paper |
| Piecewise affine approximations of fluxes and enzyme kinetics from in vivo13C labeling experiments | 2013-03-13 | Paper |
| Higher-Order Approximations for Verification of Stochastic Hybrid Systems | 2012-11-21 | Paper |
| On infinite horizon switched LQR problems with state and control constraints | 2012-09-14 | Paper |
| Approximate model checking of stochastic hybrid systems | 2011-03-09 | Paper |
| Box invariance in biologically-inspired dynamical systems | 2010-04-14 | Paper |
| Probabilistic safety and optimal control for survival analysis of bacillus subtilis | 2010-04-06 | Paper |
| Exponential stabilization of discrete-time switched linear systems | 2010-01-08 | Paper |
| Understanding deadlock and livelock behaviors in hybrid control systems | 2009-07-27 | Paper |
| Stabilization of Discrete-Time Switched Linear Systems: A Control-Lyapunov Function Approach | 2009-04-30 | Paper |
| Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems | 2009-03-11 | Paper |
| Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems | 2009-01-20 | Paper |
| Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid Jumps | 2008-09-02 | Paper |
| Markov Set-Chains as Abstractions of Stochastic Hybrid Systems | 2008-09-02 | Paper |
| Hybrid Systems: Computation and Control | 2007-05-02 | Paper |
| Policy Evaluation in Distributional LQR (Extended Version) | N/A | Paper |
