Login / Signup
Linear Temporal Logic Symbolic Model Checking.
Kristin Y. Rozier
Published in:
Comput. Sci. Rev. (2011)
Keyphrases
</>
symbolic model checking
linear temporal logic
model checking
temporal logic
formal verification
model checker
formal specification
finite state
modal logic
binary decision diagrams
partial observability
machine learning
formal methods
temporally extended goals
dynamic programming