@article{dblp-journals-fmsd-bakdstvw24,
  title = {The hexatope and octatope abstract domains for neural network verification},
  author = {Stanley Bak and Taylor Dohmen and K. Subramani and Ashutosh Trivedi and Alvaro Velasquez and Piotr Wojciechowski},
  year = {2024},
  url = {https://dblp.org/rec/journals/fmsd/BakDSTVW24},
  journal = {Formal Methods Syst. Des. 64 ( 1 )}
}