Related references
Note: Only part of the references are listed.Coupled Multi-Robot Systems Under Linear Temporal Logic and Signal Temporal Logic Tasks
Lars Lindemann et al.
IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY (2021)
On Robustness Metrics for Learning STL Tasks
Peter Varnai et al.
2020 AMERICAN CONTROL CONFERENCE (ACC) (2020)
Robust control for signal temporal logic specifications using discrete average space robustness
Lars Lindemann et al.
AUTOMATICA (2019)
Distributed Path Planning for Executing Cooperative Tasks with Time Windows
Raghavendra Bhat et al.
IFAC PAPERSONLINE (2019)
Communication-Free Distributed Coverage for Networked Systems
A. Yasin Yazicioglu et al.
IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS (2017)
Communication-Free Multi-Agent Control Under Local Temporal Tasks and Relative-Distance Constraints
Meng Guo et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2016)
Temporal Logic as Filtering
Alena Rodionova et al.
HSCC'16: PROCEEDINGS OF THE 19TH INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (2016)
Time Robustness in MTL and Expressivity in Hybrid System Falsification
Takumi Akazaki et al.
COMPUTER AIDED VERIFICATION, CAV 2015, PT II (2015)
Sampling-based algorithms for optimal motion planning
Sertac Karaman et al.
INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH (2011)
Robustness of temporal logic specifications for continuous-time signals
Georgios E. Fainekos et al.
THEORETICAL COMPUTER SCIENCE (2009)
Consensus seeking in multiagent systems under dynamically changing interaction topologies
W Ren et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2005)
Coverage control for mobile sensing networks
J Cortés et al.
IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION (2004)
Leader-to-formation stability
HG Tanner et al.
IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION (2004)