Probabilistic timed automata with clock-dependent probabilities (Q1685793)
From MaRDI portal
scientific article; zbMATH DE number 7350468
- Probabilistic Timed Automata with Clock-Dependent Probabilities
Language | Label | Description | Also known as |
---|---|---|---|
English | Probabilistic timed automata with clock-dependent probabilities |
scientific article; zbMATH DE number 7350468 |
|
Statements
Probabilistic timed automata with clock-dependent probabilities (English)
0 references
Probabilistic Timed Automata with Clock-Dependent Probabilities (English)
0 references
20 December 2017
0 references
21 May 2021
0 references
probabilistic model checking
0 references
timed automata
0 references
0 references