Login / Signup

Decidability and complexity for ω-regular properties of stochastic systems.

David HenriquesManuel BiscaiaPedro BaltazarPaulo Mateus
Published in: Log. J. IGPL (2012)
Keyphrases
  • stochastic systems
  • conservation laws
  • worst case
  • dynamic programming
  • stochastic models