Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games
A. Jovanović‚ D. Lime and O. H. Roux
Book Title
ATVA 2013
Pages
87−101
Publisher
Springer
Series
LNCS
Volume
8172
Year
2013
A. Jovanović‚ D. Lime and O. H. Roux