%0 Journal Article %1 journals/csysl/EverettBO23 %A Everett, Michael %A Bunel, Rudy %A Omidshafiei, Shayegan %D 2023 %J IEEE Control. Syst. Lett. %K dblp %P 1622-1627 %T DRIP: Domain Refinement Iteration With Polytopes for Backward Reachability Analysis of Neural Feedback Loops. %U http://dblp.uni-trier.de/db/journals/csysl/csysl7.html#EverettBO23 %V 7

@article{journals/csysl/EverettBO23, added-at = {2023-06-02T00:00:00.000+0200}, author = {Everett, Michael and Bunel, Rudy and Omidshafiei, Shayegan}, biburl = {https://www.bibsonomy.org/bibtex/2b4510b5d6b8f8e603b8d614df46a9767/dblp}, ee = {https://doi.org/10.1109/LCSYS.2023.3260731}, interhash = {23aa708f057b309b70f90add8c61e5bf}, intrahash = {b4510b5d6b8f8e603b8d614df46a9767}, journal = {IEEE Control. Syst. Lett.}, keywords = {dblp}, pages = {1622-1627}, timestamp = {2024-04-08T09:37:28.000+0200}, title = {DRIP: Domain Refinement Iteration With Polytopes for Backward Reachability Analysis of Neural Feedback Loops.}, url = {http://dblp.uni-trier.de/db/journals/csysl/csysl7.html#EverettBO23}, volume = 7, year = 2023 }