Biblio | Kavraki Lab

Biblio

List
Filter

Export 9 results:

Sort by: Author Title Type [ Year

]

Filters: Keyword is multi-layered synergistic planning [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

Plaku, E, Kavraki LE, Vardi MY. 2010. Motion Planning with Dynamics by a Synergistic Combination of Layers of Planning. IEEE Transactions on Robotics. 26:469-482.
Abstract

Preprint PDF Publisher's web site

Bhatia, A, Kavraki LE, Vardi MY. 2010. Motion Planning with Hybrid Dynamics and Temporal Goals. IEEE Conference on Decision and Control. :1108-1115.
Abstract

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

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

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