Membership-Based Synthesis of Linear Hybrid Automata.

Miriam Garca Soto, Thomas A. Henzinger, Christian Schilling, Luka Zeleznik

Browse the full CAV paper archive.