Membership-Based Synthesis of Linear Hybrid Automata. - Miriam García Soto; Thomas A. Henzinger; Christian Schilling 001; Luka Zeleznik (CAV (1), 2019)