Actions with Failures in Interval Temporal Logic.
Arjen HommersomPeter J. F. LucasPublished in: CLIMA (2007)
Keyphrases
- temporal logic
- model checking
- temporally extended
- modal logic
- satisfiability problem
- verification method
- concurrent systems
- belief revision
- computation tree logic
- situation calculus
- decision theoretic
- reasoning about actions
- linear temporal logic
- mazurkiewicz traces
- temporal knowledge
- plan recognition
- dynamic constraints
- transition systems
- partial observability
- model checker