Sign in

Automata-based Verification of Linear Temporal Logic Models with Bounded Variability.

Carlo A. FuriaPaola Spoletini
Published in: TIME (2012)
Keyphrases
  • linear temporal logic
  • bounded model checking
  • machine learning
  • model checking
  • dynamic programming
  • probabilistic model
  • object oriented
  • software engineering