Heuristics for Probabilistic Timed Automata with Abstraction Refinement
| Title | Heuristics for Probabilistic Timed Automata with Abstraction Refinement |
| Publication Type | Conference Paper |
| Year of Publication | 2012 |
| Authors | Ferrer Fioriti, LM, Hermanns, H |
| Conference Name | Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance |
| Publisher | Springer Berlin / Heidelberg |
| ISBN Number | 978-3-642-28539-4 |
| URL | http://dx.doi.org/10.1007/978-3-642-28540-0_11 |
| DOI | 10.1007/978-3-642-28540-0_11 |
Work Package:
WP1
