Symbolic Model Checking: Kenneth L McMillan, Kluwer Academic, Dordrecht, The Netherlands (1993) ISBN 0 7923 9380 5, £54.50, pp 194.
John CookePublished in: Microprocess. Microsystems (1994)
Keyphrases
- symbolic model checking
- model checking
- partial observability
- formal verification
- conformant planning
- deterministic domains
- binary decision diagrams
- symbolic representation
- model checker
- temporal logic
- machine learning
- learning algorithm
- artificial intelligence
- planning problems
- formal specification
- partially observable