Courteous Cars Decentralized Multiagent Traffic Coordination
暂无分享,去创建一个
[1] Hadas Kress-Gazit,et al. Valet parking without a valet , 2007, 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems.
[2] Calin Belta,et al. A Fully Automated Framework for Control of Linear Systems from LTL Specifications , 2006, HSCC.
[3] Winston Nelson,et al. Continuous-curvature paths for autonomous vehicles , 1989, Proceedings, 1989 International Conference on Robotics and Automation.
[4] Calin Belta,et al. Discrete abstractions for robot motion planning and control in polygonal environments , 2005, IEEE Transactions on Robotics.
[5] Antonio Bicchi,et al. Path tracking control for Dubin's cars , 1996, Proceedings of IEEE International Conference on Robotics and Automation.
[6] I.I. Hussein,et al. Real Time Feedback Control for Nonholonomic Mobile Robots With Obstacles , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.
[7] Jan van Leeuwen,et al. Formal models and semantics , 1990 .
[8] Howie Choset,et al. Composition of local potential functions for global robot control and navigation , 2003, Proceedings 2003 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2003) (Cat. No.03CH37453).
[9] Hadas Kress-Gazit,et al. Where's Waldo? Sensor-Based Temporal Logic Motion Planning , 2007, Proceedings 2007 IEEE International Conference on Robotics and Automation.
[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] Daniel E. Koditschek,et al. Sequential Composition of Dynamically Dexterous Robot Behaviors , 1999, Int. J. Robotics Res..
[12] George J. Pappas,et al. Hybrid Controllers for Path Planning: A Temporal Logic Approach , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.
[13] Alfred A. Rizzi. Hybrid control as a method for robot motion programming , 1998, Proceedings. 1998 IEEE International Conference on Robotics and Automation (Cat. No.98CH36146).
[14] Steven M. LaValle,et al. The sampling-based neighborhood graph: an approach to computing and executing feedback motion strategies , 2004, IEEE Transactions on Robotics and Automation.
[15] E. Allen Emerson,et al. Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[16] Elad Shahar,et al. The TLV System and its Applications , 1996 .
[17] Howie Choset,et al. Integrated Planning and Control for Convex-bodied Nonholonomic Systems using Local Feedback Control Policies , 2006, Robotics: Science and Systems.