_id,doi,title 6493,10.1007/978-3-030-25540-4_16,Membership-based synthesis of linear hybrid automata