Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-319-02444-8_8 ◽

2013 ◽

pp. 87-101 ◽

Author(s):

Aleksandra Jovanović ◽

Didier Lime ◽

Olivier H. Roux

Download Full-text