Symbolic model checking for probabilistic timed automata.

Marta Z. Kwiatkowska Gethin Norman Jeremy Sproston Fuzhi Wang

Published in: Inf. Comput. (2007)

Keyphrases

model checking
symbolic model checking
timed automata
temporal logic
model checker
formal verification
formal specification
conformant planning
finite state
probabilistic model
generative model
formal methods
machine learning
partial observability
first order logic
modal logic