[Spr21]
Jeremy Sproston.
Probabilistic Timed Automata with Clock-Dependent Probabilities.
Fundamenta Informaticae, 178(1-2), pages 101-138, IOS Press.
2021.
[Develops techniques for PTAs in which transition probabilities can depend on clocks, including experiments performed using PRISM.]
|
