Verification of Action Theories in ASP: A Complete Bounded Model Checking Approach.
Laura GiordanoAlberto MartelliDaniele Theseider DupréPublished in: CILC (2012)
Keyphrases
- bounded model checking
- model checking
- formal verification
- action theories
- situation calculus
- temporal logic
- linear temporal logic
- answer set programming
- multi agent systems
- reasoning about actions
- finite state
- deterministic finite state automata
- concurrent systems
- incomplete information
- initial state
- highly expressive
- finite state machines
- general purpose
- query language