Robotic Swarm Control from Spatio-Temporal Specifications

20 September 2016

Papers citing "Robotic Swarm Control from Spatio-Temporal Specifications"

2 / 2 papers shown

Title
Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams Kevin J. Leahy Austin M. Jones C. Vasile 11 23 0 30 Sep 2020
Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications Murat Cubuktepe Zhe Xu Ufuk Topcu 41 14 0 24 Jan 2020