Decidable Verification of Golog Programs over Non-Local Effect Actions.
Benjamin ZarrießJens ClaßenPublished in: AAAI (2016)
Keyphrases
- situation calculus
- action theories
- agent programming
- decision theoretic
- initial state
- reasoning about actions
- plan recognition
- symbolic execution
- action language
- hardware designs
- verification method
- function symbols
- partial observability
- computer programs
- model checking
- first order logic
- face verification
- video sequences