Probabilistic timed automata
GPTKB entity
Statements (21)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:formal_method
gptkb:logic gptkb:Technical_Machine |
| gptkbp:analyzes |
gptkb:PRISM_model_checker
|
| gptkbp:characterizedBy |
probabilistic transitions
real-time constraints |
| gptkbp:extendsTo |
timed automata
probabilistic automata |
| gptkbp:introduced |
gptkb:Marta_Kwiatkowska
2002 David Parker Gethin Norman |
| gptkbp:relatedTo |
gptkb: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
|
| https://www.w3.org/2000/01/rdf-schema#label |
Probabilistic timed automata
|