Autor der Publikation

Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games.

, , , und . VMCAI, Volume 10145 von Lecture Notes in Computer Science, Seite 266-287. Springer, (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains., , , und . Fundam. Inform., 95 (1): 129-155 (2009)A compositional modelling and analysis framework for stochastic hybrid systems., , , und . Formal Methods in System Design, 43 (2): 191-232 (2013)Accelerated Model Checking of Parametric Markov Chains., , und . ATVA, Volume 11138 von Lecture Notes in Computer Science, Seite 300-316. Springer, (2018)Towards a Unified Model-Based Safety Assessment., , , , , und . SAFECOMP, Volume 4166 von Lecture Notes in Computer Science, Seite 275-288. Springer, (2006)INFAMY: An Infinite-State Markov Model Checker., , , und . CAV, Volume 5643 von Lecture Notes in Computer Science, Seite 641-647. Springer, (2009)A Simple Algorithm for Solving Qualitative Probabilistic Parity Games., , , und . CAV (2), Volume 9780 von Lecture Notes in Computer Science, Seite 291-311. Springer, (2016)Probabilistic Reachability for Parametric Markov Models., , und . SPIN, Volume 5578 von Lecture Notes in Computer Science, Seite 88-106. Springer, (2009)Bounded Fairness for Probabilistic Distributed Algorithms., , , , , , , und . ACSD, Seite 89-97. IEEE Computer Society, (2011)Probabilistic reachability for parametric Markov models., , und . STTT, 13 (1): 3-19 (2011)QPMC: A Model Checker for Quantum Programs and Protocols., , , und . FM, Volume 9109 von Lecture Notes in Computer Science, Seite 265-272. Springer, (2015)