TY  - RPRT
TI  - BDD for Complete Characterization of a Safety Violation in Linear Systems with Inputs
AU  - Manish Goyal
AU  - David Bergman
AU  - Parasara Sridhar Duggirala
PY  - 2023
UR  - https://arxiv.org/abs/2311.15343
ID  - 2311.15343
ER  -