Language Emptiness of Continuous-Time Parametric Timed Automata.

Nikola Benes, Peter Bezdek, Kim Guldstrand Larsen, Jir Srba

Browse the full ICALP paper archive.