BReach-LP: a Framework for Backward Reachability Analysis of Neural Feedback Loops

@mastersthesis{rober2023thesis,
  Title = {BReach-LP: a Framework for Backward Reachability Analysis of Neural Feedback Loops},
  Author = {Rober, Nicholas},
  School = {Massachusetts Institute of Technology, Department of Mechanical Engineering},
  Year = {2023},
}