Sampling-Based Optimal Control Synthesis for Multi-Robot Systems under
Global Temporal Tasks

v1v2v3 (latest)

Sampling-Based Optimal Control Synthesis for Multi-Robot Systems under Global Temporal Tasks

13 June 2017

Michael M. Zavlanos

ArXiv (abs)PDF HTML

Papers citing "Sampling-Based Optimal Control Synthesis for Multi-Robot Systems under Global Temporal Tasks"

13 / 13 papers shown

Title
Prioritize Team Actions: Multi-Agent Temporal Logic Task Planning with Ordering Constraints Bowen Ye Jianing Zhao Shaoyuan Li Xiang Yin 33 0 0 26 Mar 2024
Simultaneous Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications Xusheng Luo Changliu Liu 75 4 0 08 Jan 2024
Secure-by-Construction Synthesis of Cyber-Physical Systems Siyuan Liu Ashutosh Trivedi Xiang Yin Majid Zamani 3DV 68 44 0 14 Feb 2022
MT* : Multi-Robot Path Planning for Temporal Logic Specifications Dhaval Gujarathi Indranil Saha 41 18 0 04 Mar 2021
Reactive Temporal Logic Planning for Multiple Robots in Unknown Occupancy Grid Maps Y. Kantaros Matthew Malencia George J. Pappas 25 1 0 14 Dec 2020
A Temporal Logic-Based Hierarchical Network Connectivity Controller Hans Riess Y. Kantaros G. Pappas Robert Ghrist 32 2 0 01 Sep 2020
Optimal Probabilistic Motion Planning with Potential Infeasible LTL Constraints Mingyu Cai Shaoping Xiao Zhijun Li Z. Kan 63 40 0 28 Jul 2020
Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning A. Bozkurt Yu Wang Michael M. Zavlanos Miroslav Pajic 68 126 0 16 Sep 2019
Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees Mohammadhosein Hasanbeig Y. Kantaros Alessandro Abate Daniel Kroening George J. Pappas Insup Lee AI4CE 153 152 0 11 Sep 2019
An Abstraction-Free Method for Multi-Robot Temporal Logic Optimal Control Synthesis Xusheng Luo Y. Kantaros Michael M. Zavlanos 134 51 0 02 Sep 2019
Multirobot Coordination with Counting Temporal Logics Yunus Emre Sahin Petter Nilsson N. Ozay 56 64 0 31 Oct 2018
STyLuS*: A Temporal Logic Optimal Control Synthesis Algorithm for Large-Scale Multi-Robot Systems Y. Kantaros Michael M. Zavlanos 81 115 0 21 Sep 2018
Control of Magnetic Microrobot Teams for Temporal Micromanipulation Tasks Y. Kantaros B. Johnson S. Chowdhury D. Cappelleri Michael M. Zavlanos 56 35 0 29 Apr 2018