A Motion Planner for a Hybrid Robotic System with Kinodynamic Constraints,
Plaku E, Kavraki LE, Vardi MY
, IEEE International Conference on Robotics and Automation (ICRA), Rome, Italy, p.692--697, (2007)
Hybrid Systems: From Verification to Falsification,
Plaku E, Kavraki LE, Vardi MY, and Hermanns DWH
, International Conference on Computer Aided Verification (CAV), Volume 4590, Berlin, Germany, p.468--481, (2007)