Login / Signup

Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Time.

Eric BoddenPatrick LamLaurie J. Hendren
Published in: RV (2010)
Keyphrases
  • finite state
  • markov chain
  • markov decision processes
  • model checking
  • objective function