Login / Signup

Finite Horizon Analysis of Stochastic Systems with the Mur varphi Verifier.

Giuseppe Della PennaBenedetto IntrigilaIgor MelattiEnrico TronciMarisa Venturini Zilli
Published in: ICTCS (2003)
Keyphrases
  • finite horizon
  • stochastic systems
  • search algorithm
  • multistage
  • np hard
  • random walk