@misc{indiciae23a84c6cbf7f,
  title = {BDD for Complete Characterization of a Safety Violation in Linear Systems with Inputs},
  author = {Manish Goyal and David Bergman and Parasara Sridhar Duggirala},
  year = {2023},
  url = {https://arxiv.org/abs/2311.15343},
  note = {Source identifier: 2311.15343}
}