Biblio

Export 3 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Keyword is HyDICE  [Clear All Filters]
2009
Plaku, E, Kavraki LE, Vardi MY.  2009.  Hybrid systems: from veriļ¬cation to falsiļ¬cation by combining motion planning and discrete search. Formal Methods in System Design. 34:157-182.
Abstract      Preprint PDF     Publisher's web site     
2007
Plaku, E, Kavraki LE, Vardi MY.  2007.  Hybrid Systems: From Verification to Falsification. International Conference on Computer Aided Verification (CAV). 4590:468--481.
Abstract      Preprint PDF     Publisher's web site     
Plaku, E, Kavraki LE, Vardi MY.  2007.  A Motion Planner for a Hybrid Robotic System with Kinodynamic Constraints. IEEE International Conference on Robotics and Automation (ICRA). :692--697.
Abstract      Preprint PDF     Publisher's web site