Marcus Grösser
From MaRDI portal
Person:715045
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Model checking linear-time properties of probabilistic systems Monographs in Theoretical Computer Science. An EATCS Series | 2022-04-28 | Paper |
| Probabilistic automata over infinite words: expressiveness, efficiency, and decidability | 2021-01-26 | Paper |
| Stochastic timed automata Logical Methods in Computer Science | 2015-01-15 | Paper |
| Probabilistic ω-automata Journal of the ACM | 2014-02-17 | Paper |
| Recurrence and transience for probabilistic automata | 2012-10-24 | Paper |
| Stochastic game logic Acta Informatica | 2012-10-15 | Paper |
| Quantitative analysis under fairness constraints Automated Technology for Verification and Analysis | 2009-12-01 | Paper |
| The Effect of Tossing Coins in Omega-Automata CONCUR 2009 - Concurrency Theory | 2009-10-22 | Paper |
| Validation of Stochastic Systems Lecture Notes in Computer Science | 2009-07-24 | Paper |
| Probabilistic Acceptors for Languages over Infinite Words Lecture Notes in Computer Science | 2009-02-03 | Paper |
| Probabilistic and Topological Semantics for Timed Automata FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science | 2008-04-24 | Paper |
| On Decision Problems for Probabilistic Büchi Automata Foundations of Software Science and Computational Structures | 2008-04-11 | Paper |
| Partial Order Reduction for Markov Decision Processes: A Survey Formal Methods for Components and Objects | 2007-09-11 | Paper |
| scientific article; zbMATH DE number 2163041 (Why is no real title available?) | 2005-04-29 | Paper |
Research outcomes over time
This page was built for person: Marcus Grösser
