Biblio

Export 5 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Keyword is LTL  [Clear All Filters]
2011
Bhatia, A, Maly MR, Kavraki LE, Vardi MY.  2011.  Motion Planning with Complex Goals. Robotics Automation Magazine, IEEE. 18:55-64.
Abstract      Preprint PDF     Publisher's web site     
2010
Bhatia, A, Kavraki LE, Vardi MY.  2010.  Sampling-Based Motion Planning with Temporal Goals. IEEE International Conference on Robotics and Automation. :2689-2696.
Abstract      Preprint PDF
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.  Falsiļ¬cation 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
2008
Plaku, E.  2008.  From High-Level Tasks to Low-Level Motions: Motion Planning for High-Dimensional Nonlinear Hybrid Robotic Systems. Department of Computer Science.
Abstract      Preprint PDF