Login / Signup
Fast Symbolic Model Checking for Partitioned Transition Relations with Isomorphic Partitions.
Christian Appold
Published in:
MBMV (2012)
Keyphrases
</>
symbolic model checking
model checking
partial observability
formal verification
conformant planning
binary decision diagrams
symbolic representation
artificial intelligence
reinforcement learning
model checker
multi agent
formal specification