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