C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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