Multi-Vehicle Motion Planning for Social Optimal Mobility-on-Demand
暂无分享,去创建一个
Daniela Rus | Sertac Karaman | Jana Tumova | Jesper Karlsson | Cristian Ioan Vasile | S. Karaman | D. Rus | Jana Tumova | C. Vasile | J. Karlsson
[1] Avinash C. Kak,et al. 3-D Object Recognition Using Bipartite Matching Embedded in Discrete Relaxation , 1991, IEEE Trans. Pattern Anal. Mach. Intell..
[2] Orna Kupferman,et al. Model Checking of Safety Properties , 1999, Formal Methods Syst. Des..
[3] Emilio Frazzoli,et al. Robotic load balancing for mobility-on-demand systems , 2012, Int. J. Robotics Res..
[4] Hadas Kress-Gazit,et al. Iterative temporal motion planning for hybrid systems in partially unknown environments , 2013, HSCC '13.
[5] Calin Belta,et al. Sampling-based temporal logic path planning , 2013, 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems.
[6] Emilio Frazzoli,et al. Least-violating control strategy synthesis with safety rules , 2013, HSCC '13.
[7] Emilio Frazzoli,et al. Incremental sampling-based algorithm for minimum-violation motion planning , 2013, 52nd IEEE Conference on Decision and Control.
[8] Calin Belta,et al. Reactive sampling-based temporal logic path planning , 2014, 2014 IEEE International Conference on Robotics and Automation (ICRA).
[9] Sertac Karaman,et al. Polling-systems-based control of high-performance provably-safe autonomous intersections , 2014, 53rd IEEE Conference on Decision and Control.
[10] Sriram Sankaranarayanan,et al. On the minimal revision problem of specification automata , 2014, Int. J. Robotics Res..
[11] Dimos V. Dimarogonas,et al. Multi-agent plan reconfiguration under local LTL specifications , 2015, Int. J. Robotics Res..
[12] Calin Belta,et al. Least-Violating Planning in Road Networks from Temporal Logic Specifications , 2016, 2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS).
[13] Calin Belta,et al. Minimum-violation scLTL motion planning for mobility-on-demand , 2017, 2017 IEEE International Conference on Robotics and Automation (ICRA).