Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2102.02609
Cited By
Barrier Function-based Collaborative Control of Multiple Robots under Signal Temporal Logic Tasks
IEEE Transactions on Control of Network Systems (TCNS), 2020
4 February 2021
Lars Lindemann
Dimos V. Dimarogonas
AI4CE
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Barrier Function-based Collaborative Control of Multiple Robots under Signal Temporal Logic Tasks"
20 / 20 papers shown
From Refusal to Recovery: A Control-Theoretic Approach to Generative AI Guardrails
Ravi Pandya
Madison Bland
D. Nguyen
Changliu Liu
J. F. Fisac
Andrea V. Bajcsy
175
1
0
15 Oct 2025
Nonconvex Obstacle Avoidance using Efficient Sampling-Based Distance Functions
Paul Lutkus
Michelle S. Chong
Lars Lindemann
188
0
0
12 Apr 2025
Trajectory Planning with Signal Temporal Logic Costs using Deterministic Path Integral Optimization
IEEE International Conference on Robotics and Automation (ICRA), 2025
Patrick Halder
Hannes Homburger
Lothar Kiltz
Johannes Reuter
Matthias Althoff
233
6
0
03 Mar 2025
A Signal Temporal Logic Approach for Task-Based Coordination of Multi-Aerial Systems: a Wind Turbine Inspection Case Study
Giuseppe Silano
Alvaro Caballero
D. Liuzza
L. Iannelli
Stjepan Bogdan
Martin Saska
320
5
0
18 Sep 2024
Formal Verification and Control with Conformal Prediction
Lars Lindemann
Yiqi Zhao
Xinyi Yu
George J. Pappas
Jyotirmoy Deshmukh
1.4K
33
0
31 Aug 2024
CBF-Based Motion Planning for Socially Responsible Robot Navigation Guaranteeing STL Specification
Andrea Ruo
Lorenzo Sabattini
Valeria Villani
79
6
0
30 Mar 2024
CBF-Based STL Motion Planning for Social Navigation in Crowded Environment
Andrea Ruo
Lorenzo Sabattini
Valeria Villani
80
2
0
30 Mar 2024
Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges
Xiang Yin
Bingzhao Gao
Xiao Yu
271
50
0
20 Feb 2024
Collaborative Safety-Critical Control for Dynamically Coupled Networked Systems
Brooks A. Butler
Philip E. Paré
168
3
0
05 Oct 2023
Controller Synthesis of Collaborative Signal Temporal Logic Tasks for Multi-Agent Systems via Assume-Guarantee Contracts
IEEE Transactions on Automatic Control (TAC), 2023
Siyuan Liu
Adnane Saoud
Dimos V. Dimarogonas
62
8
0
23 Sep 2023
Rate-Tunable Control Barrier Functions: Methods and Algorithms for Online Adaptation
American Control Conference (ACC), 2023
Hardik Parwana
Dimitra Panagou
261
8
0
23 Mar 2023
Safe Reinforcement Learning with Probabilistic Guarantees Satisfying Temporal Logic Specifications in Continuous Action Spaces
IEEE Conference on Decision and Control (CDC), 2022
Hanna Krasowski
Prithvi Akella
Aaron D. Ames
Matthias Althoff
348
3
0
12 Dec 2022
Temporal Waypoint Navigation of Multi-UAV Payload System using Barrier Functions
European Control Conference (ECC), 2022
Nishanth Rao
S. Sundaram
Pushpak Jagtap
126
3
0
25 Nov 2022
A Signal Temporal Logic Motion Planner for Bird Diverter Installation Tasks with Multi-Robot Aerial Systems
IEEE Access (IEEE Access), 2022
A. Caballero
Giuseppe Silano
307
14
0
18 Oct 2022
Trust-based Rate-Tunable Control Barrier Functions for Non-Cooperative Multi-Agent Systems
IEEE Conference on Decision and Control (CDC), 2022
Hardik Parwana
Dimitra Panagou
159
31
0
09 Apr 2022
Study of Signal Temporal Logic Robustness Metrics for Robotic Tasks Optimization
Akshay Dhonthi
Philipp Schillinger
Leonel Rozo
Daniele Nardi
249
6
0
01 Oct 2021
Enhancing Data-Driven Reachability Analysis using Temporal Logic Side Information
Amr Alanwar
Frank J. Jiang
M. Sharifi
Dimos V. Dimarogonas
Karl H. Johansson
299
8
0
15 Sep 2021
Neural Network for Weighted Signal Temporal Logic
Ruixuan Yan
A. Julius
AI4TS
190
10
0
08 Apr 2021
Signal Temporal Logic Task Decomposition via Convex Optimization
IEEE Control Systems Letters (L-CSS), 2021
Maria Charitidou
Dimos V. Dimarogonas
176
20
0
10 Mar 2021
Perception-Based Temporal Logic Planning in Uncertain Semantic Maps
IEEE Transactions on robotics (IEEE Trans. Robot.), 2020
Y. Kantaros
Samarth Kalluraya
Qi Jin
George J. Pappas
453
52
0
18 Dec 2020
1
Page 1 of 1
