| Publication | Date of Publication | Type |
|---|
Parameter synthesis for Markov models: covering the parameter space
Formal Methods in System Design | 2024-06-28 | Paper |
| Efficient sensitivity analysis for parametric robust Markov chains | 2024-02-01 | Paper |
| Robust almost-sure reachability in multi-environment MDPs | 2023-12-13 | Paper |
Shepherding hordes of Markov chains
Tools and Algorithms for the Construction and Analysis of Systems | 2023-11-24 | Paper |
Convex Optimization for Parameter Synthesis in MDPs
IEEE Transactions on Automatic Control | 2023-09-26 | Paper |
Parameter synthesis in Markov models: a gentle survey
Lecture Notes in Computer Science | 2023-08-10 | Paper |
Synthesis in pMDPs: a tale of 1001 parameters
Automated Technology for Verification and Analysis | 2023-07-28 | Paper |
Model Checking for Safe Navigation Among Humans
Quantitative Evaluation of Systems | 2023-06-28 | Paper |
Robustness Verification for Classifier Ensembles
1517.68238 | 2022-12-22 | Paper |
Scenario-based verification of uncertain MDPs
Tools and Algorithms for the Construction and Analysis of Systems | 2022-10-13 | Paper |
scientific article; zbMATH DE number 7559459 (Why is no real title available?)
(available as arXiv preprint) | 2022-07-18 | Paper |
| Sampling-Based Verification of CTMCs with Uncertain Rates | 2022-05-17 | Paper |
Enforcing almost-sure reachability in POMDPs
(available as arXiv preprint) | 2022-03-25 | Paper |
Control Theory Meets POMDPs: A Hybrid Systems Approach
IEEE Transactions on Automatic Control | 2022-02-24 | Paper |
Task-aware verifiable RNN-based policies for partially observable Markov decision processes
Journal of Artificial Intelligence Research | 2022-02-07 | Paper |
Synthesis of Provably Correct Autonomy Protocols for Shared Control
IEEE Transactions on Automatic Control | 2021-07-26 | Paper |
Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions
IEEE Transactions on Automatic Control | 2021-05-28 | Paper |
Sequential convex programming for the efficient verification of parametric MDPs
Tools and Algorithms for the Construction and Analysis of Systems | 2020-08-05 | Paper |
| Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization | 2020-01-22 | Paper |
Parameter synthesis for Markov models: faster than ever
(available as arXiv preprint) | 2018-10-25 | Paper |
Bounded model checking for probabilistic programs
(available as arXiv preprint) | 2018-10-25 | Paper |
Conditioning in probabilistic programming
Electronic Notes in Theoretical Computer Science | 2016-12-16 | Paper |
Fast debugging of PRISM models
Automated Technology for Verification and Analysis | 2015-12-17 | Paper |
Understanding probabilistic programs
Lecture Notes in Computer Science | 2015-11-04 | Paper |
High-level counterexamples for probabilistic automata
Logical Methods in Computer Science | 2015-04-22 | Paper |
Counterexample generation for discrete-time Markov models: an introductory survey
Lecture Notes in Computer Science | 2015-02-25 | Paper |
Minimal counterexamples for linear-time probabilistic verification
Theoretical Computer Science | 2014-08-27 | Paper |
Minimal Critical Subsystems for Discrete-Time Markov Models
Tools and Algorithms for the Construction and Analysis of Systems | 2012-06-29 | Paper |
Hierarchical counterexamples for discrete-time Markov chains
Automated Technology for Verification and Analysis | 2011-10-07 | Paper |
