Simultaneous task allocation and planning for temporal logic goals in heterogeneous multi-robot systems

Multi-agent planning under local LTL specifications and event-based synchronization

(2016) Jana Tumova et al.   AUTOMATICA

Iterative Temporal Planning in Uncertain Environments With Partial Satisfaction Guarantees

(2016) Morteza Lahijanian et al.   IEEE Transactions on Robotics

Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar

(2015) Marco Autili et al.   IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

Multi-agent plan reconfiguration under local LTL specifications

(2014) Meng Guo et al.   INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH

Non-additive multi-objective robot coalition formation

(2013) Manoj Agarwal et al.   EXPERT SYSTEMS WITH APPLICATIONS

Optimality and Robustness in Multi-Robot Path Planning with Temporal Logic Constraints

(2013) Alphan Ulusoy et al.   INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH

A comprehensive taxonomy for multi-robot task allocation

(2013) G. Ayorkor Korsah et al.   INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH

A Survey and Analysis of Multi-Robot Coordination

(2013) Zhi Yan et al.   International Journal of Advanced Robotic Systems

Formal Approach to the Deployment of Distributed Robotic Teams

(2011) Yushan Chen et al.   IEEE Transactions on Robotics

Temporal-Logic-Based Reactive Mission and Motion Planning

(2009) H. Kress-Gazit et al.   IEEE Transactions on Robotics

Translating Structured English to Robot Controllers

(2008) Hadas Kress-Gazit et al.   ADVANCED ROBOTICS