Login / Signup
Symbolic Model Checking with Isomorphism Exploiting Transition Relations.
Christian Appold
Published in:
MBMV (2011)
Keyphrases
</>
symbolic model checking
model checking
partial observability
formal verification
conformant planning
symbolic representation
model checker
binary decision diagrams
temporal logic
incomplete information
real valued
formal methods
partially observable