Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
A. Jovanović and M. Kwiatkowska
Book Title
RP 2014
Publisher
Springer
Series
LNCS
Year
2014
A. Jovanović and M. Kwiatkowska