Reactive mission and motion planning with deadlock resolution avoiding dynamic obstacles
暂无分享,去创建一个
Hadas Kress-Gazit | Vasumathi Raman | Javier Alonso-Mora | Jonathan A. DeCastro | Daniela Rus | D. Rus | H. Kress-Gazit | Vasumathi Raman | J. Alonso-Mora
[1] Ufuk Topcu,et al. Receding Horizon Temporal Logic Planning , 2012, IEEE Transactions on Automatic Control.
[2] Hadas Kress-Gazit,et al. Courteous Cars , 2008, IEEE Robotics & Automation Magazine.
[3] Hadas Kress-Gazit,et al. Provably correct continuous control for high-level robot behaviors with actions of arbitrary execution durations , 2013, 2013 IEEE International Conference on Robotics and Automation.
[4] Dinesh Manocha,et al. Reciprocal n-Body Collision Avoidance , 2011, ISRR.
[5] Hadas Kress-Gazit,et al. Automated generation of dynamics-based runtime certificates for high-level control , 2016, Discrete Event Dynamic Systems.
[6] Hadas Kress-Gazit,et al. Synthesis for multi-robot controllers with interleaved motion , 2014, 2014 IEEE International Conference on Robotics and Automation (ICRA).
[7] Calin Belta,et al. Incremental synthesis of control policies for heterogeneous multi-agent systems with linear temporal logic specifications , 2013, 2013 IEEE International Conference on Robotics and Automation.
[8] Hadas Kress-Gazit,et al. Temporal-Logic-Based Reactive Mission and Motion Planning , 2009, IEEE Transactions on Robotics.
[9] Ufuk Topcu,et al. Synthesis of Reactive Switching Protocols From Temporal Logic Specifications , 2013, IEEE Transactions on Automatic Control.
[10] Rüdiger Ehlers,et al. Symmetric and efficient synthesis , 2013 .
[11] Hadas Kress-Gazit,et al. Shortcut through an evil door: Optimality of correct-by-construction controllers in adversarial environments , 2013, 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems.
[12] K.J. Kyriakopoulos,et al. Automatic synthesis of multi-agent motion tasks based on LTL specifications , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).
[13] Sven Koenig,et al. A lattice-based approach to multi-robot motion planning for non-holonomic vehicles , 2014, 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems.
[14] Dimos V. Dimarogonas,et al. Decomposition of Finite LTL Specifications for Efficient Multi-agent Planning , 2016, DARS.
[15] Ross A. Knepper,et al. Differentially constrained mobile robot motion planning in state lattices , 2009 .
[16] Paul A. Beardsley,et al. Shared control of autonomous vehicles based on velocity space optimization , 2014, 2014 IEEE International Conference on Robotics and Automation (ICRA).
[17] Robin Deits,et al. Computing Large Convex Regions of Obstacle-Free Space Through Semidefinite Programming , 2014, WAFR.
[18] Moshe Y. Vardi. An Automata-Theoretic Approach to Linear Temporal Logic , 1996, Banff Higher Order Workshop.
[19] Emilio Frazzoli,et al. Sampling-based motion planning with deterministic μ-calculus specifications , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.
[20] Hadas Kress-Gazit,et al. LTLMoP: Experimenting with language, Temporal Logic and robot control , 2010, 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems.
[21] Sanjit A. Seshia,et al. Mining assumptions for synthesis , 2011, Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011).
[22] Ufuk Topcu,et al. Counter-strategy guided refinement of GR(1) temporal logic specifications , 2013, 2013 Formal Methods in Computer-Aided Design.
[23] Vijay Kumar,et al. Implan: Scalable Incremental Motion Planning for Multi-Robot Systems , 2016, 2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS).
[24] Ross A. Knepper,et al. Pedestrian-inspired sampling-based multi-robot collision avoidance , 2012, 2012 IEEE RO-MAN: The 21st IEEE International Symposium on Robot and Human Interactive Communication.
[25] Karl Henrik Johansson,et al. Distributed Event-Triggered Control for Multi-Agent Systems , 2012, IEEE Transactions on Automatic Control.
[26] Lydia E. Kavraki,et al. Sampling-based motion planning with temporal goals , 2010, 2010 IEEE International Conference on Robotics and Automation.
[27] Rüdiger Ehlers,et al. Synthesizing cooperative reactive mission plans , 2015, 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).
[28] Hadas Kress-Gazit,et al. Courteous Cars Decentralized Multiagent Traffic Coordination , 2008 .
[29] Hadas Kress-Gazit,et al. Correct High-level Robot Behavior in Environments with Unexpected Events , 2014, Robotics: Science and Systems.
[30] Jean-Claude Latombe,et al. On the Probabilistic Foundations of Probabilistic Roadmap Planning , 2006, Int. J. Robotics Res..
[31] 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.
[32] S. LaValle,et al. Randomized Kinodynamic Planning , 2001 .
[33] Dimos V. Dimarogonas,et al. Decomposition of multi-agent planning under distributed motion and task LTL specifications , 2015, 2015 54th IEEE Conference on Decision and Control (CDC).
[34] Roland Siegwart,et al. Optimal Reciprocal Collision Avoidance for Multiple Non-Holonomic Robots , 2013 .
[35] Javier Alonso-Mora,et al. A message-passing algorithm for multi-agent trajectory planning , 2013, NIPS.
[36] Calin Belta,et al. Optimality and Robustness in Multi-Robot Path Planning with Temporal Logic Constraints , 2013, Int. J. Robotics Res..
[37] Ufuk Topcu,et al. Resilience to intermittent assumption violations in reactive synthesis , 2014, HSCC.
[38] Amir Pnueli,et al. Synthesis of Reactive(1) Designs , 2006, VMCAI.
[39] Hadas Kress-Gazit,et al. Translating Structured English to Robot Controllers , 2008, Adv. Robotics.
[40] Hadas Kress-Gazit,et al. Iterative temporal motion planning for hybrid systems in partially unknown environments , 2013, HSCC '13.
[41] Vijay Kumar,et al. Mixed-integer quadratic program trajectory generation for heterogeneous quadrotor teams , 2012, 2012 IEEE International Conference on Robotics and Automation.
[42] Vasumathi Raman. Reactive switching protocols for multi-robot high-level tasks , 2014, 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems.
[43] Vasumathi Raman,et al. Slugs: Extensible GR(1) Synthesis , 2016, CAV.
[44] Paul A. Beardsley,et al. Collision avoidance for aerial vehicles in multi-agent scenarios , 2015, Auton. Robots.
[45] Yushan Chen,et al. Formal Approach to the Deployment of Distributed Robotic Teams , 2012, IEEE Transactions on Robotics.
[46] Hadas Kress-Gazit,et al. Collision-Free Reactive Mission and Motion Planning for Multi-robot Systems , 2015, ISRR.