Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs.
Jens ClaßenMartin LiebenbergGerhard LakemeyerBenjamin ZarrießPublished in: AAAI (2014)
Keyphrases
- agent programming
- situation calculus
- symbolic execution
- function symbols
- hardware designs
- model checking
- first order logic
- verification method
- asynchronous circuits
- signature verification
- computer programs
- decision theoretic
- java bytecode
- formal verification
- test generation
- automatic programming
- logic programming language
- programming environment
- object boundaries
- multi agent