Constraint-Aware Refinement for Safety Verification of Neural Feedback Loops

@article{rober2024constraint,
  Title = {Constraint-Aware Refinement for Safety Verification of Neural Feedback Loops},
  Author = {Rober, Nicholas and How, Jonathan P.},
  Journal = {Control Systems Society Letters (L-CSS)},
  entrysubtype = {journal},
  Year = {2025},
  Url = {https://arxiv.org/abs/2410.00145},
}