@misc{indiciae37189c554bc2,
  title = {Verification of Autonomous Systems with Optimal Controllers},
  author = {Dylan Le and Joel McCandless and Carlos Varela and Radoslav Ivanov},
  year = {2026},
  url = {https://arxiv.org/abs/2604.15659},
  note = {Source identifier: 2604.15659}
}