An industrial application of symbolic model checking.

Florian Kammüller Sören Preibusch

Published in: Inform. Forsch. Entwickl. (2008)

Keyphrases

symbolic model checking
industrial applications
model checking
partial observability
formal verification
conformant planning
symbolic representation
binary decision diagrams
neural network
model checker
temporal logic
multi agent
fuzzy logic
decision makers
formal specification
planning domains