|
[Spr17]
Jeremy Sproston.
Probabilistic Timed Automata with Clock-Dependent Probabilities.
In Proc. 11th International Workshop on Reachability Problems (RP'17), Springer.
2017.
[Develops techniques for PTAs in which transition probabilities can depend on clocks, including experiments performed using PRISM.]
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|