Marcus Grösser

Available identifiers

zbMath Open grosser.marcusMaRDI QIDQ715045

List of research outcomes

Publication	Date of Publication	Type
Model Checking Linear-Time Properties of Probabilistic Systems	2022-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q5146511	2021-01-26	Paper
Stochastic Timed Automata	2015-01-15	Paper
Probabilistic ω-automata	2014-02-17	Paper
Recurrence and transience for probabilistic automata	2012-10-24	Paper
Stochastic game logic	2012-10-15	Paper
Quantitative Analysis under Fairness Constraints	2009-12-01	Paper
The Effect of Tossing Coins in Omega-Automata	2009-10-22	Paper
Validation of Stochastic Systems	2009-07-24	Paper
Probabilistic Acceptors for Languages over Infinite Words	2009-02-03	Paper
Probabilistic and Topological Semantics for Timed Automata	2008-04-24	Paper
On Decision Problems for Probabilistic Büchi Automata	2008-04-11	Paper
Partial Order Reduction for Markov Decision Processes: A Survey	2007-09-11	Paper
https://portal.mardi4nfdi.de/entity/Q4673428	2005-04-29	Paper

Research outcomes over time

This page was built for person: Marcus Grösser