@misc{indiciae77e008ad70f1,
  title = {Verifiable Safety Q-Filters via Hamilton-Jacobi Reachability and Multiplicative Q-Networks},
  author = {Jiaxing Li and Hanjiang Hu and Yujie Yang and Changliu Liu},
  year = {2025},
  url = {https://arxiv.org/abs/2506.15693},
  note = {Source identifier: 2506.15693}
}