Synthesis of Parametric Hybrid Automata from Time Series.

Miriam Garca Soto, Thomas A. Henzinger, Christian Schilling

Browse the full ATVA paper archive.