@misc{indiciae67307e43a42f,
  title = {Safe, Real-Time Active Model Discrimination and Fault Diagnosis for Nonlinear Systems via Differentiable Reachability},
  author = {Xinpei Ni and Melkior Ornik and Glen Chou and Samuel Coogan},
  year = {2026},
  url = {https://arxiv.org/abs/2606.19590},
  note = {Source identifier: 2606.19590}
}