Automated Verification of Propositional Agent Abstraction for Classical Planning via CTLK Model Checking.
Kailun LuoPublished in: AAAI (2023)
Keyphrases
- automated verification
- model checking
- classical planning
- planning domains
- temporally extended
- temporal logic
- bounded model checking
- temporally extended goals
- formal verification
- planning problems
- partially observable
- domain independent
- causal graph
- heuristic search
- decision theoretic planning
- multi agent systems
- model checker
- formal specification
- linear temporal logic
- symbolic model checking
- multi agent
- ai planning
- automated reasoning
- description language
- finite state
- state space
- formal methods
- initial state
- partial information
- satisfiability problem
- fully observable
- knowledge compilation
- belief state
- belief space
- markov decision processes
- orders of magnitude