Login / Signup
Extended abstract: transition traversal coverage estimation for symbolic model checking.
Xingwen Xu
Shinji Kimura
Kazunari Horikawa
Takehiko Tsuchiya
Published in:
MEMOCODE (2005)
Keyphrases
</>
extended abstract
symbolic model checking
model checking
partial observability
data structure
formal verification
binary decision diagrams
conformant planning
symbolic representation
data mining
machine learning
reinforcement learning
multi agent systems
orders of magnitude
temporal logic
model checker