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
|