Multi-Agent Task Allocation using Cross-Entropy Temporal Logic Optimization
暂无分享,去创建一个
Magnus Egerstedt | Samuel Coogan | Sean Wilson | Christopher Banks | M. Egerstedt | S. Coogan | Sean Wilson | Christopher J. Banks | S. Wilson
[1] Christopher M. Bishop,et al. Pattern Recognition and Machine Learning (Information Science and Statistics) , 2006 .
[2] Hadas Kress-Gazit,et al. Verifiable Control of Robotic Swarm from High-level Specifications , 2018, AAMAS.
[3] Vijay Kumar,et al. Minimum snap trajectory generation and control for quadrotors , 2011, 2011 IEEE International Conference on Robotics and Automation.
[4] Marco Montali,et al. Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness , 2014, AAAI.
[5] Katia P. Sycara,et al. Distributed algorithm design for multi-robot task assignment with deadlines for tasks , 2013, 2013 IEEE International Conference on Robotics and Automation.
[6] Martin Leucker,et al. Runtime Verification for LTL and TLTL , 2011, TSEM.
[7] Marin Kobilarov,et al. Cross-entropy motion planning , 2012, Int. J. Robotics Res..
[8] Calin Belta,et al. Optimal path planning for surveillance with temporal-logic constraints* , 2011, Int. J. Robotics Res..
[9] Giuseppe De Giacomo,et al. Linear Temporal Logic and Linear Dynamic Logic on Finite Traces , 2013, IJCAI.
[10] Patrik Haslum,et al. Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners , 2009, Artif. Intell..
[11] Christel Baier,et al. Principles of model checking , 2008 .
[12] K.J. Kyriakopoulos,et al. Automated Planning of Motion Tasks for Multi-Robot Systems , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.
[13] Dimos V. Dimarogonas,et al. Multi-agent planning under local LTL specifications and event-based synchronization , 2016, Autom..
[14] 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).
[15] Dimos V. Dimarogonas,et al. Decomposition of Finite LTL Specifications for Efficient Multi-agent Planning , 2016, DARS.
[16] Anthony Stentz,et al. A comprehensive taxonomy for multi-robot task allocation , 2013, Int. J. Robotics Res..
[17] Gerard J. Holzmann,et al. The SPIN Model Checker - primer and reference manual , 2003 .
[18] Katia P. Sycara,et al. Human Interaction With Robot Swarms: A Survey , 2016, IEEE Transactions on Human-Machine Systems.
[19] Li Wang,et al. Safe Learning of Quadrotor Dynamics Using Barrier Certificates , 2017, 2018 IEEE International Conference on Robotics and Automation (ICRA).
[20] Dimos V. Dimarogonas,et al. Improving Multi-Robot Behavior Using Learning-Based Receding Horizon Task Allocation , 2018, Robotics: Science and Systems.
[21] Ahmed M. Elmogy,et al. Multi-robot Task Allocation: A Review of the State-of-the-Art , 2015, Advances in Social Media Analysis.
[22] M. Egerstedt,et al. Motion probes for fault detection and recovery in networked control systems , 2008, 2008 American Control Conference.