Login / Signup
Decidability and complexity for ω-regular properties of stochastic systems.
David Henriques
Manuel Biscaia
Pedro Baltazar
Paulo Mateus
Published in:
Log. J. IGPL (2012)
Keyphrases
</>
stochastic systems
conservation laws
worst case
dynamic programming
stochastic models