SAT-based Explicit LTL Reasoning.
Jianwen LiShufang ZhuGeguang PuMoshe Y. VardiPublished in: CoRR (2015)
Keyphrases
- bounded model checking
- model checking
- formal verification
- linear temporal logic
- temporal logic
- answer set programming
- classical planning
- reasoning systems
- reasoning tasks
- multi agent systems
- reasoning process
- knowledge representation
- qualitative reasoning
- sat solvers
- reasoning mechanisms
- ai planning
- boolean satisfiability
- state space