​
Login / Signup
Javier Borquez
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 6
Top Topics
Parameter Values
Timed Automata
Hybrid Systems
Hamilton Jacobi
Top Venues
CoRR
IEEE Control. Syst. Lett.
ICRA
</>
Publications
</>
Hao Wang
,
Javier Borquez
,
Somil Bansal
Providing Safety Assurances for Systems With Unknown Dynamics.
IEEE Control. Syst. Lett.
8 (2024)
Hao Wang
,
Javier Borquez
,
Somil Bansal
Providing Safety Assurances for Systems with Unknown Dynamics.
CoRR
(2024)
Javier Borquez
,
Kaustav Chakraborty
,
Hao Wang
,
Somil Bansal
On Safety and Liveness Filtering Using Hamilton-Jacobi Reachability Analysis.
CoRR
(2023)
Javier Borquez
,
Kensuke Nakamura
,
Somil Bansal
Parameter-Conditioned Reachable Sets for Updating Safety Assurances Online.
ICRA
(2023)
Javier Borquez
,
Shuang Peng
,
Yiyu Chen
,
Quan Nguyen
,
Somil Bansal
Hamilton-Jacobi Reachability Analysis for Hybrid Systems with Controlled and Forced Transitions.
CoRR
(2023)
Javier Borquez
,
Kensuke Nakamura
,
Somil Bansal
Parameter-Conditioned Reachable Sets for Updating Safety Assurances Online.
CoRR
(2022)