Author of the publication

Trace Refinement in Labelled Markov Decision Processes.

, , and . FoSSaCS, volume 9634 of Lecture Notes in Computer Science, page 303-318. Springer, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

p-BioSPRE: Datenschutzgerechte Ausgestaltung einer Suchmaschine für Biomaterial und Daten/ Integrating data protection in metabiobanks: approach of the p-BioSPRE platform, , , , , , , , , and 2 other author(s). (2014)Analysis of Probabilistic Basic Parallel Processes., , and . FoSSaCS, volume 8412 of Lecture Notes in Computer Science, page 43-57. Springer, (2014)Space-efficient scheduling of stochastically generated tasks., , , and . Inf. Comput., (2012)Markov chains and unambiguous automata., , , , and . J. Comput. Syst. Sci., (2023)Transience in Countable MDPs., , , and . CoRR, (2020)On Complementing Unambiguous Automata and Graphs With Many Cliques and Cocliques., and . CoRR, (2021)On Fixed Point Equations over Commutative Semirings., , and . STACS, volume 4393 of Lecture Notes in Computer Science, page 296-307. Springer, (2007)Approximative Methods for Monotone Systems of Min-Max-Polynomial Equations., , , and . ICALP (1), volume 5125 of Lecture Notes in Computer Science, page 698-710. Springer, (2008)Büchi Objectives in Countable MDPs., , , and . ICALP, volume 132 of LIPIcs, page 119:1-119:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Lower Bounds for Unambiguous Automata via Communication Complexity., , and . ICALP, volume 229 of LIPIcs, page 126:1-126:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)