@misc{indiciaed83e74460356,
  title = {Hamilton-Jacobi Reachability Analysis for Hybrid Systems with Controlled and Forced Transitions},
  author = {Javier Borquez and Shuang Peng and Yiyu Chen and Quan Nguyen and Somil Bansal},
  year = {2024},
  doi = {10.15607/rss.2024.xx.006},
  url = {https://arxiv.org/abs/2309.10893},
  note = {Source identifier: 2309.10893}
}