Uniformity for the Decidability of Hybrid Automata.

Olivier F. Roux, Vlad Rusu

Browse the full SAS paper archive.