scientific article
From MaRDI portal
Publication:4038703
zbMath0765.68152MaRDI QIDQ4038703
Mihalis Yannakakis, Costas Courcoubetis
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
automata on infinite wordscontrolled Markov chains\(\omega\)- regular setsconcurrent probabilistic programsoptimal decision strategies for MDP
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (13)
Synthesizing Efficient Controllers ⋮ Temporal logics for the specification of performance and reliability ⋮ Spanning the spectrum from safety to liveness ⋮ Quantitative solution of omega-regular games ⋮ Converging from branching to linear metrics on Markov chains ⋮ Model Checking Linear-Time Properties of Probabilistic Systems ⋮ Compositional probabilistic verification through multi-objective model checking ⋮ Randomization in Automata on Infinite Trees ⋮ Symbolic control for stochastic systems via finite parity games ⋮ The complexity of stochastic Müller games ⋮ Submixing and shift-invariant stochastic games ⋮ Optimal schedulers vs optimal bases: an approach for efficient exact solving of Markov decision processes ⋮ Stochastic Müller Games are PSPACE-Complete
This page was built for publication:
