​
Login / Signup
Xiao Tan
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 6
Top Topics
Satisfiability Problem
Temporal Logic
Control Flow
Quadratic Program
Top Venues
CoRR
IEEE Trans. Robotics
ICRA
CDC
</>
Publications
</>
Pian Yu
,
Xiao Tan
,
Dimos V. Dimarogonas
Continuous-Time Control Synthesis Under Nested Signal Temporal Logic Specifications.
IEEE Trans. Robotics
40 (2024)
Xiao Tan
,
Dimos V. Dimarogonas
On the undesired equilibria induced by control barrier function based quadratic programs.
Autom.
159 (2024)
Pian Yu
,
Xiao Tan
,
Dimos V. Dimarogonas
Continuous-time control synthesis under nested signal temporal logic specifications.
CoRR
(2023)
Adrian Wiltz
,
Xiao Tan
,
Dimos V. Dimarogonas
Construction of Control Barrier Functions Using Predictions with Finite Horizon.
CDC
(2023)
Xiao Tan
,
Antonis Papachristodoulou
,
Dimos V. Dimarogonas
A contract negotiation scheme for safety verification of interconnected systems.
CoRR
(2023)
Victor Nan Fernandez-Ayala
,
Xiao Tan
,
Dimos V. Dimarogonas
Distributed barrier function-enabled human-in-the-loop control for multi-robot systems.
ICRA
(2023)