Branching-Time Temporal Logic Extended with Qualitative Presburger Constraints.
Laura BozzelliRégis GasconPublished in: LPAR (2006)
Keyphrases
- state space
- temporal logic
- model checking
- automata theoretic
- dynamic constraints
- reinforcement learning
- modal logic
- satisfiability problem
- concurrent systems
- qualitative differential equations
- dynamical systems
- constraint satisfaction
- mazurkiewicz traces
- belief revision
- computation tree logic
- decision procedures
- qualitative simulation
- qualitative reasoning
- formal specification language
- temporal knowledge
- verification method
- constraint programming
- transition systems
- linear temporal logic
- bounded model checking
- np complete
- distributed systems