Efficient Simulation-based Verification of Probabilistic Timed Automata
| Title | Efficient Simulation-based Verification of Probabilistic Timed Automata |
|---|---|
| Author | |
| Year of Publication |
2017
|
| Conference Name |
Efficient Simulation-based Verification of Probabilistic Timed Automata
|
| Publisher |
IEEE
|
| Conference Location |
Las Vegas, USA
|
| URL |
https://ieeexplore.ieee.org/document/8247885
|
| DOI |
10.1109/WSC.2017.8247885
|
| Download citation |