Computable fixpoints in well-structured symbolic model checking.

Nathalie Bertrand Philippe Schnoebelen

Published in: Formal Methods Syst. Des. (2013)

Keyphrases

symbolic model checking
model checking
partial observability
formal verification
symbolic representation
conformant planning
model checker
logic programs
binary decision diagrams
temporal logic
machine learning
incomplete information