Multi-robot Deployment From LTL Specifications with Reduced Communication

16 August 2011

Papers citing "Multi-robot Deployment From LTL Specifications with Reduced Communication"

8 / 8 papers shown

Title
Simultaneous Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications Xusheng Luo Changliu Liu 57 4 0 08 Jan 2024
Formal Modelling for Multi-Robot Systems Under Uncertainty Charlie Street Masoumeh Mansouri Bruno Lacerda 65 0 0 26 May 2023
OneVision: Centralized to Distributed Controller Synthesis with Delay Compensation Jiayi Wei Tongrui Li Swarat Chaudhuri Işıl Dillig Joydeep Biswas 75 3 0 14 Apr 2021
Control of Multi-Agent Systems with Finite Time Control Barrier Certificates and Temporal Logic Mohit Srinivasan Samuel Coogan M. Egerstedt AI4CE 64 77 0 07 Aug 2018
Formal Specification and Verification of Autonomous Robotic Systems: A Survey Matt Luckcuck M. Farrell Louise A. Dennis C. Dixon Michael Fisher 162 160 0 29 Jun 2018
Communication-Free Multi-Agent Control under Local Temporal Tasks and Relative-Distance Constraints Meng Guo Jana Tumova Dimos V. Dimarogonas 54 28 0 31 Oct 2014
Cooperative Decentralized Multi-agent Control under Local LTL Tasks and Connectivity Constraints Meng Guo Jana Tumova Dimos V. Dimarogonas 58 51 0 08 May 2014
A Receding Horizon Approach to Multi-Agent Planning from Local LTL Specifications Jana Tumova Dimos V. Dimarogonas 79 31 0 17 Mar 2014