Sign in
Javier Borquez
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 4
Top Topics
Timed Automata
Level Set
Parameter Values
Reachability Analysis
Top Venues
CoRR
ICRA
</>
Publications
</>
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)