A Synthesis Algorithm for Hybrid Systems.

Srikanth Gottipati, Anil Nerode

Browse the full LFCS paper archive.