Heuristics for Probabilistic Timed Automata with Abstraction Refinement

Luis MarĂ­a Ferrer Fioriti, Holger Hermanns. Heuristics for Probabilistic Timed Automata with Abstraction Refinement. In Jens B. Schmitt, editor, Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance - 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings. Volume 7201 of Lecture Notes in Computer Science, pages 151-165, Springer, 2012. [doi]

Abstract

Abstract is missing.