Login / Signup

30 Years of Modal Transition Systems: Survey of Extensions and Analysis.

Jan Kretínský
Published in: Models, Algorithms, Logics and Tools (2017)
Keyphrases
  • transition systems
  • model checking
  • artificial intelligence
  • dynamic programming
  • temporal logic