Keyphrases
- binary decision diagrams
- decision diagrams
- agent programming
- model checking
- intermediate level
- situation calculus
- heuristic search
- action theories
- hardware designs
- symbolic execution
- first order logic
- higher order
- decision theoretic
- boolean functions
- programming language
- linear temporal logic
- verification method
- java bytecode
- multi agent
- agent systems
- ai planning
- partial observability
- timed automata
- symbolic description