Login / Signup

Improved SAT-based Reachability Analysis with Observability Don't Cares.

Sean SafarpourAndreas G. VenerisRolf Drechsler
Published in: J. Satisf. Boolean Model. Comput. (2008)
Keyphrases
  • reachability analysis
  • model checking
  • markov decision processes
  • answer set programming
  • timed automata
  • bounded model checking
  • machine learning
  • constraint solver