| Publication | Date of Publication | Type |
|---|
Strategy synthesis for zero-sum neuro-symbolic concurrent stochastic games
Information and Computation | 2024-10-08 | Paper |
| Probabilistic model checking for strategic equilibria-based decision making: advances and challenges (invited talk) | 2024-08-06 | Paper |
| Verification and Control of Turn-Based Probabilistic Real-Time Games | 2024-03-14 | Paper |
| Equilibria-based probabilistic model checking for concurrent stochastic games | 2024-03-14 | Paper |
| Correlated equilibria and fairness in concurrent stochastic games | 2024-02-01 | Paper |
Collaborative models for autonomous systems controller synthesis
Formal Aspects of Computing | 2020-09-09 | Paper |
Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata
Theoretical Computer Science | 2017-03-16 | Paper |
Expected reachability-time games
Theoretical Computer Science | 2016-05-02 | Paper |
Symbolic minimum expected time controller synthesis for probabilistic timed automata
Lecture Notes in Computer Science | 2015-09-14 | Paper |
Compositional probabilistic verification through multi-objective model checking
Information and Computation | 2013-12-13 | Paper |
Analysis of stochastic matching markets
International Journal of Game Theory | 2013-11-11 | Paper |
| A symbolic out-of-core solution method for Markov models | 2013-08-16 | Paper |
Expected reachability-time games
Lecture Notes in Computer Science | 2010-09-10 | Paper |
Concavely-Priced Probabilistic Timed Automata
CONCUR 2009 - Concurrency Theory | 2009-10-22 | Paper |
Validation of Stochastic Systems
Lecture Notes in Computer Science | 2009-07-24 | Paper |
Symbolic model checking for probabilistic timed automata
Information and Computation | 2007-07-16 | Paper |
Foundations of Software Science and Computational Structures
Lecture Notes in Computer Science | 2005-11-10 | Paper |
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Lecture Notes in Computer Science | 2005-08-19 | Paper |
| scientific article; zbMATH DE number 2090709 (Why is no real title available?) | 2004-08-13 | Paper |
| scientific article; zbMATH DE number 2090708 (Why is no real title available?) | 2004-08-13 | Paper |
| scientific article; zbMATH DE number 1973984 (Why is no real title available?) | 2003-09-03 | Paper |
Probabilistic model checking of deadline properties in the IEEE 1394 fireWire root contention protocol
Formal Aspects of Computing | 2003-08-27 | Paper |
| scientific article; zbMATH DE number 1864589 (Why is no real title available?) | 2003-02-06 | Paper |
| scientific article; zbMATH DE number 1759607 (Why is no real title available?) | 2002-11-28 | Paper |
| scientific article; zbMATH DE number 1796134 (Why is no real title available?) | 2002-09-04 | Paper |
Automatic verification of real-time systems with discrete probability distributions.
Theoretical Computer Science | 2002-07-15 | Paper |
| scientific article; zbMATH DE number 1324653 (Why is no real title available?) | 1999-08-17 | Paper |
| scientific article; zbMATH DE number 1231649 (Why is no real title available?) | 1999-01-06 | Paper |
