Iterative Temporal Planning in Uncertain Environments With Partial Satisfaction Guarantees
暂无分享,去创建一个
Hadas Kress-Gazit | Lydia E. Kavraki | Morteza Lahijanian | Moshe Y. Vardi | Matthew R. Maly | Dror Fried | L. Kavraki | M. Lahijanian | M. Maly | H. Kress-Gazit | Dror Fried | Morteza Lahijanian
[1] Jeffrey D. Ullman,et al. Introduction to Automata Theory, Languages and Computation , 1979 .
[2] B. Faverjon,et al. Probabilistic Roadmaps for Path Planning in High-Dimensional Con(cid:12)guration Spaces , 1996 .
[3] Rajeev Motwani,et al. Path planning in expansive configuration spaces , 1997, Proceedings of International Conference on Robotics and Automation.
[4] S. LaValle. Rapidly-exploring random trees : a new tool for path planning , 1998 .
[5] Steven M. LaValle,et al. Randomized Kinodynamic Planning , 1999, Proceedings 1999 IEEE International Conference on Robotics and Automation (Cat. No.99CH36288C).
[6] Stephan Merz,et al. Model Checking , 2000 .
[7] Orna Kupferman,et al. Model Checking of Safety Properties , 1999, Formal Methods Syst. Des..
[8] Jean-Claude Latombe,et al. Randomized Kinodynamic Motion Planning with Moving Obstacles , 2002, Int. J. Robotics Res..
[9] Timo Latvala,et al. Efficient Model Checking of Safety Properties , 2003, SPIN.
[10] Hadas Kress-Gazit,et al. Temporal Logic Motion Planning for Mobile Robots , 2005, Proceedings of the 2005 IEEE International Conference on Robotics and Automation.
[11] Howie Choset,et al. Principles of Robot Motion: Theory, Algorithms, and Implementation ERRATA!!!! 1 , 2007 .
[12] Hadas Kress-Gazit,et al. Where's Waldo? Sensor-Based Temporal Logic Motion Planning , 2007, Proceedings 2007 IEEE International Conference on Robotics and Automation.
[13] Kostas E. Bekris,et al. Greedy but Safe Replanning under Kinodynamic Constraints , 2007, Proceedings 2007 IEEE International Conference on Robotics and Automation.
[14] Thierry Fraichard,et al. A Short Paper about Motion Safety , 2007, Proceedings 2007 IEEE International Conference on Robotics and Automation.
[15] Calin Belta,et al. A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications , 2008, IEEE Transactions on Automatic Control.
[16] Krishnendu Chatterjee,et al. Synthesizing robust systems , 2009, 2009 Formal Methods in Computer-Aided Design.
[17] Hadas Kress-Gazit,et al. Temporal-Logic-Based Reactive Mission and Motion Planning , 2009, IEEE Transactions on Robotics.
[18] George J. Pappas,et al. Temporal logic motion planning for dynamic robots , 2009, Autom..
[19] Lydia E. Kavraki,et al. Sampling-based motion planning with temporal goals , 2010, 2010 IEEE International Conference on Robotics and Automation.
[20] Lydia E. Kavraki,et al. Motion Planning With Dynamics by a Synergistic Combination of Layers of Planning , 2010, IEEE Transactions on Robotics.
[21] Lydia E. Kavraki,et al. Motion planning with hybrid dynamics and temporal goals , 2010, 49th IEEE Conference on Decision and Control (CDC).
[22] Ufuk Topcu,et al. Receding horizon control for temporal logic specifications , 2010, HSCC '10.
[23] Pavol Cerný,et al. Simulation distances , 2010, Theor. Comput. Sci..
[24] U. Topcu,et al. Correct , Reactive Robot Control from Abstraction and Temporal Logic Specifications , 2011 .
[25] Hadas Kress-Gazit,et al. Analyzing Unsynthesizable Specifications for High-Level Robot Behavior Using LTLMoP , 2011, CAV.
[26] Moshe Y. Vardi,et al. Motion Planning with Complex Goals , 2011, IEEE Robotics & Automation Magazine.
[27] Ufuk Topcu,et al. Correct, Reactive, High-Level Robot Control , 2011, IEEE Robotics & Automation Magazine.
[28] Simulation distances , 2012, Theor. Comput. Sci..
[29] Joel W. Burdick,et al. Backtracking temporal logic synthesis for uncertain environments , 2012, 2012 IEEE International Conference on Robotics and Automation.
[30] Yushan Chen,et al. LTL robot motion control based on automata learning of environmental dynamics , 2012, 2012 IEEE International Conference on Robotics and Automation.
[31] Hadas Kress-Gazit,et al. Guaranteeing High-Level Behaviors while Exploring Partially Known Maps , 2012, Robotics: Science and Systems.
[32] Lydia E. Kavraki,et al. Falsification of LTL safety properties in hybrid systems , 2009, International Journal on Software Tools for Technology Transfer.
[33] Kostas E. Bekris,et al. Safe distributed motion coordination for second-order systems with different planning cycles , 2012, Int. J. Robotics Res..
[34] Lydia E. Kavraki,et al. A Sampling-Based Tree Planner for Systems With Complex Dynamics , 2012, IEEE Transactions on Robotics.
[35] Georgios E. Fainekos,et al. Approximate solutions for the minimal revision problem of specification automata , 2012, 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems.
[36] Lydia E. Kavraki,et al. The Open Motion Planning Library , 2012, IEEE Robotics & Automation Magazine.
[37] Karl Henrik Johansson,et al. Revising motion planning under Linear Temporal Logic specifications in partially known workspaces , 2013, 2013 IEEE International Conference on Robotics and Automation.
[38] Hadas Kress-Gazit,et al. Iterative temporal motion planning for hybrid systems in partially unknown environments , 2013, HSCC '13.
[39] Calin Belta,et al. Sampling-based temporal logic path planning , 2013, 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems.
[40] Emilio Frazzoli,et al. Least-violating control strategy synthesis with safety rules , 2013, HSCC '13.
[41] Hadas Kress-Gazit,et al. Guaranteeing reactive high-level behaviors for robots with complex dynamics , 2013, 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems.
[42] Richard M. Murray,et al. Patching task-level robot controllers based on a local μ-calculus formula , 2013, 2013 IEEE International Conference on Robotics and Automation.
[43] Calin Belta,et al. Temporal logic motion planning in unknown environments , 2013, 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems.
[44] Georgios E. Fainekos,et al. Revision of specification automata under quantitative preferences , 2014, 2014 IEEE International Conference on Robotics and Automation (ICRA).
[45] Dimos V. Dimarogonas,et al. Distributed plan reconfiguration via knowledge transfer in multi-agent systems under local LTL specifications , 2014, 2014 IEEE International Conference on Robotics and Automation (ICRA).
[46] Lydia E. Kavraki,et al. This Time the Robot Settles for a Cost: A Quantitative Approach to Temporal Logic Planning with Partial Satisfaction , 2015, AAAI.