scientific article

zbMATH Open0765.68152MaRDI QIDQ4038703FDOQ4038703

Costas Courcoubetis, Mihalis Yannakakis

Publication date: 18 May 1993

Title of this publication is not available (Why is that?)

zbMATH Keywords

automata on infinite wordscontrolled Markov chains\(\omega\)- regular setsconcurrent probabilistic programsoptimal decision strategies for MDP

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (13)

• Model Checking Linear-Time Properties of Probabilistic Systems
• Stochastic Müller Games are PSPACE-Complete
• Optimal schedulers vs optimal bases: an approach for efficient exact solving of Markov decision processes
• Spanning the spectrum from safety to liveness
• The complexity of stochastic Müller games
• Submixing and shift-invariant stochastic games
• Temporal logics for the specification of performance and reliability
• Compositional probabilistic verification through multi-objective model checking
• Quantitative solution of omega-regular games
• Converging from branching to linear metrics on Markov chains
• Randomization in Automata on Infinite Trees
• Synthesizing Efficient Controllers
• Symbolic control for stochastic systems via finite parity games

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4038703)