Probabilistic timed automata

GPTKB entity

Statements (21)
Predicate Object
gptkbp:instanceOf gptkb:logic
Technical Machine
formal method
gptkbp:analyzes gptkb:PRISM_model_checker
gptkbp:characterizedBy probabilistic transitions
real-time constraints
gptkbp:extendsTo timed automata
probabilistic automata
https://www.w3.org/2000/01/rdf-schema#label Probabilistic timed automata
gptkbp:introduced gptkb:Marta_Kwiatkowska
2002
David Parker
Gethin Norman
gptkbp:relatedTo Markov chain
timed automata
probabilistic automata
gptkbp:used_in formal verification
model checking
gptkbp:usedFor modeling systems with randomness and timing
gptkbp:bfsParent gptkb:PRISM_model_checker
gptkbp:bfsLayer 7