@inproceedings{dblp-conf-fm-bakdstvw23,
  title = {The Octatope Abstract Domain for Verification of Neural Networks},
  author = {Stanley Bak and Taylor Dohmen and K. Subramani and Ashutosh Trivedi and Alvaro Velasquez and Piotr Wojciechowski},
  year = {2023},
  url = {https://dblp.org/rec/conf/fm/BakDSTVW23},
  booktitle = {FM 2023}
}