Distributed Communication-aware Motion Planning for Multi-agent Systems from STL and SpaTeL Specifications

29 May 2017

Papers citing "Distributed Communication-aware Motion Planning for Multi-agent Systems from STL and SpaTeL Specifications"

8 / 8 papers shown

Title
When Robotics Meets Wireless Communications: An Introductory Tutorial Daniel Bonilla Licea Mounir Ghogho Martin Saska 118 9 0 05 Sep 2022
Learning Spatio-Temporal Specifications for Dynamical Systems Suhail Alsalehi Erfan Aasi Ron Weiss C. Belta 70 2 0 20 Dec 2021
Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specifications Suhail Alsalehi N. Mehdipour E. Bartocci C. Belta 54 4 0 06 Apr 2021
Signal Temporal Logic Task Decomposition via Convex Optimization Maria Charitidou Dimos V. Dimarogonas 38 17 0 10 Mar 2021
Barrier Function-based Collaborative Control of Multiple Robots under Signal Temporal Logic Tasks Lars Lindemann Dimos V. Dimarogonas AI4CE 83 74 0 04 Feb 2021
Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications Murat Cubuktepe Zhe Xu Ufuk Topcu 83 14 0 24 Jan 2020
Controller Synthesis for Multi-Agent Systems With Intermittent Communication: A Metric Temporal Logic Approach Zhe Xu Federico M. Zegers Bo Wu W. Dixon Ufuk Topcu 35 26 0 22 Sep 2019
Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications Mohit Srinivasan Samuel Coogan 72 50 0 14 Aug 2019