TY  - RPRT
TI  - Hamilton-Jacobi Reachability Analysis for Hybrid Systems with Controlled and Forced Transitions
AU  - Javier Borquez
AU  - Shuang Peng
AU  - Yiyu Chen
AU  - Quan Nguyen
AU  - Somil Bansal
PY  - 2024
DO  - 10.15607/rss.2024.xx.006
UR  - https://arxiv.org/abs/2309.10893
ID  - 2309.10893
ER  -