Erion Plaku Lydia E. Kavraki Moshe Y. Vardi Hybrid systems: from verification to falsification by combining motion planning and discrete search. 157-182 2009 34 Formal Methods in System Design 2 http://dx.doi.org/10.1007/s10703-008-0058-5 db/journals/fmsd/fmsd34.html#PlakuKV09