Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1908.04903
Cited By
v1
v2 (latest)
Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications
IEEE Transactions on robotics (TRO), 2019
14 August 2019
Mohit Srinivasan
Samuel Coogan
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications"
16 / 16 papers shown
Achieving Safe Control Online through Integration of Harmonic Control Lyapunov-Barrier Functions with Unsafe Object-Centric Action Policies
Electronic Proceedings in Theoretical Computer Science (EPTCS), 2025
Marlow Fawn
Matthias Scheutz
27
0
0
18 Nov 2025
pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis
Elizabeth Dietrich
Hanna Krasowski
Emir Cem Gezer
Roger Skjetne
Asgeir Sørensen
Murat Arcak
98
0
0
02 Nov 2025
Dynamic Bipedal MPC with Foot-level Obstacle Avoidance and Adjustable Step Timing
IEEE International Conference on Robotics and Automation (ICRA), 2025
Tianze Wang
Christian Hubicki
270
0
0
19 May 2025
Multi-Agent Reinforcement Learning for Autonomous Driving: A Survey
Ruiqi Zhang
Jing Hou
Florian Walter
Shangding Gu
Jiayi Guan
Florian Röhrbein
Yali Du
Panpan Cai
G. Chen
Alois Knoll
303
28
0
19 Aug 2024
Optimal Multilayered Motion Planning for Multiple Differential Drive Mobile Robots with Hierarchical Prioritization (OM-MP)
Zong Chen
Songyuan Fa
Yiqun Li
99
0
0
11 May 2024
Safety-Critical Control for Autonomous Systems: Control Barrier Functions via Reduced-Order Models
Annual Reviews in Control (ARC), 2024
Max H. Cohen
Tamás G. Molnár
Aaron D. Ames
264
75
0
14 Mar 2024
Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges
Xiang Yin
Bingzhao Gao
Xiao Yu
223
46
0
20 Feb 2024
Model-based Dynamic Shielding for Safe and Efficient Multi-Agent Reinforcement Learning
Adaptive Agents and Multi-Agent Systems (AAMAS), 2023
Wenli Xiao
Yiwei Lyu
John M. Dolan
176
10
0
13 Apr 2023
Automated Formation Control Synthesis from Temporal Logic Specifications
IEEE Conference on Decision and Control (CDC), 2023
Shuhao Qi
Zengjie Zhang
S. Haesaert
Zhiyong Sun
147
2
0
01 Apr 2023
Temporal Logic Motion Planning with Convex Optimization via Graphs of Convex Sets
IEEE Transactions on robotics (TRO), 2023
Vince Kurtz
Hai Lin
300
29
0
18 Jan 2023
Geometry of Radial Basis Neural Networks for Safety Biased Approximation of Unsafe Regions
American Control Conference (ACC), 2022
Ahmad Abuaish
Mohit Srinivasan
Patricio A. Vela
344
3
0
11 Oct 2022
Overcoming Exploration: Deep Reinforcement Learning for Continuous Control in Cluttered Environments from Temporal Logic Specifications
IEEE Robotics and Automation Letters (RA-L), 2022
Mingyu Cai
Erfan Aasi
C. Belta
C. Vasile
495
29
0
28 Jan 2022
Integrated Task and Motion Planning for Safe Legged Navigation in Partially Observable Environments
IEEE Transactions on robotics (TRO), 2021
James Hegarty
Zhaoyuan Gu
J. Warnke
Seth Hutchinson
Armin Alaghi
319
42
0
23 Oct 2021
Risk-averse autonomous systems: A brief history and recent developments from the perspective of optimal control
Yuheng Wang
Margaret P. Chapman
329
41
0
18 Sep 2021
Safety-Critical Learning of Robot Control with Temporal Logic Specifications
IEEE Transactions on Automatic Control (IEEE TAC), 2021
Mingyu Cai
C. Vasile
391
7
0
07 Sep 2021
Optimal Probabilistic Motion Planning with Potential Infeasible LTL Constraints
IEEE Transactions on Automatic Control (TAC), 2020
Mingyu Cai
Shaoping Xiao
Zhijun Li
Z. Kan
451
48
0
28 Jul 2020
1
Page 1 of 1
