| Publication | Date of Publication | Type |
|---|
Interval Markov decision processes with multiple objectives: from robust strategies to Pareto curves
ACM Transactions on Modeling and Computer Simulation | 2024-09-08 | Paper |
Omega-Regular Objectives in Model-Free Reinforcement Learning
Tools and Algorithms for the Construction and Analysis of Systems | 2023-11-24 | Paper |
\textsf{PFL}: a probabilistic logic for fault trees
Formal Methods | 2023-08-17 | Paper |
Accelerated model checking of parametric Markov chains
Automated Technology for Verification and Analysis | 2023-07-28 | Paper |
Accelerated model checking of parametric Markov chains
Automated Technology for Verification and Analysis | 2023-07-28 | Paper |
Incremental Verification of Parametric and Reconfigurable Markov Chains
Quantitative Evaluation of Systems | 2023-06-28 | Paper |
Incremental Verification of Parametric and Reconfigurable Markov Chains
Quantitative Evaluation of Systems | 2023-06-28 | Paper |
An impossibility result in automata-theoretic reinforcement learning
Automated Technology for Verification and Analysis | 2023-06-02 | Paper |
Alternating good-for-MDPs automata
Automated Technology for Verification and Analysis | 2023-06-02 | Paper |
Alternating good-for-MDPs automata
Automated Technology for Verification and Analysis | 2023-06-02 | Paper |
| Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives | 2023-04-21 | Paper |
Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives
1517.68331 | 2022-12-22 | Paper |
Polynomial-time alternating probabilistic bisimulation for interval MDPs
Dependable Software Engineering. Theories, Tools, and Applications | 2022-11-04 | Paper |
Good-for-MDPs automata for probabilistic analysis and reinforcement learning
Tools and Algorithms for the Construction and Analysis of Systems | 2022-10-13 | Paper |
| Model-Free Reinforcement Learning for Stochastic Parity Games | 2022-07-18 | Paper |
Model-free reinforcement learning for branching Markov decision processes
(available as arXiv preprint) | 2022-03-25 | Paper |
| The marriage between safety and cybersecurity: still practicing | 2022-03-24 | Paper |
| Model checking \(\omega\)-regular properties for quantum Markov chains | 2020-05-27 | Paper |
Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes
Quantitative Evaluation of Systems | 2019-09-17 | Paper |
A simple algorithm for solving qualitative probabilistic parity games
Computer Aided Verification | 2019-05-03 | Paper |
| A comparison of time- and reward-bounded probabilistic model checking techniques | 2018-08-16 | Paper |
An efficient synthesis algorithm for parametric Markov chains against linear time properties
(available as arXiv preprint) | 2018-08-16 | Paper |
| Exploiting robust optimization for interval probabilistic bisimulation | 2018-01-11 | Paper |
Lazy probabilistic model checking without determinisation
(available as arXiv preprint) | 2017-09-12 | Paper |
Computing cumulative rewards using fast adaptive uniformization
ACM Transactions on Modeling and Computer Simulation | 2017-06-30 | Paper |
Measurability and safety verification for stochastic hybrid systems
Proceedings of the 14th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
Rewarding probabilistic hybrid automata
Proceedings of the 16th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
Synthesising strategy improvement and recursive algorithms for solving 2.5 player parity games
Lecture Notes in Computer Science | 2017-02-21 | Paper |
CCMC: a conditional CSL model checker for continuous-time Markov chains
Automated Technology for Verification and Analysis | 2014-07-08 | Paper |
A compositional modelling and analysis framework for stochastic hybrid systems
Formal Methods in System Design | 2014-06-30 | Paper |
Safety verification for probabilistic hybrid systems
European Journal of Control | 2014-01-21 | Paper |
Model checking for performability
MSCS. Mathematical Structures in Computer Science | 2013-08-26 | Paper |
Variable probabilistic abstraction refinement
Automated Technology for Verification and Analysis | 2012-11-21 | Paper |
Time-bounded model checking of infinite-state continuous-time Markov chains
Fundamenta Informaticae | 2010-02-05 | Paper |
Model Checking CSL for Markov Population Models
(available as arXiv preprint) | N/A | Paper |
