Login / Signup
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