ProbVerus: Probabilistic Symbolic Model Checking.

Vicky Hartonas-Garmhausen Sérgio Vale Aguiar Campos Edmund M. Clarke

Published in: ARTS (1999)

Keyphrases

symbolic model checking
model checking
partial observability
conformant planning
formal verification
symbolic representation
probabilistic model
binary decision diagrams
generative model
machine learning
markov chain
temporal logic
model checker