Login / Signup
Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation.
Luca de Alfaro
Marta Z. Kwiatkowska
Gethin Norman
David Parker
Roberto Segala
Published in:
TACAS (2000)
Keyphrases
</>
symbolic model checking
binary decision diagrams
symbolic representation
probabilistic model
model checking
partial observability
orders of magnitude
conformant planning
knowledge base
data structure
mobile robot
decision problems