Biblio

Export 7 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Moshe Y. Vardi  [Clear All Filters]
2010
Bhatia, A, Kavraki LE, Vardi MY.  2010.  Motion Planning with Hybrid Dynamics and Temporal Goals. IEEE Conference on Decision and Control. :1108-1115.
Abstract      Preprint PDF
2009
Plaku, E, Kavraki LE, Vardi MY.  2009.  Falsification of LTL Safety Properties in Hybrid Systems. Proc. of the Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009).
Abstract      Preprint PDF
Plaku, E, Kavraki LE, Vardi MY.  2009.  Hybrid systems: from verification to falsification by combining motion planning and discrete search. Formal Methods in System Design. 34:157-182.
Abstract      Preprint PDF     Publisher's web site     
2008
Plaku, E, Kavraki LE, Vardi MY.  2008.  Impact of Workspace Decompositions on Discrete Search Leading Continuous Exploration (DSLX) Motion Planning. IEEE International Conference on Robotics and Automation. :3751-3756.
Abstract     
Plaku, E, Kavraki LE, Vardi MY.  2008.  Discrete Search Leading Continuous Exploration for Kinodynamic Motion Planning. Robotics: Science and Systems. :326-333.
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