@misc{indiciae989ba41fe235,
  title = {Extending Neural Network Verification to a Larger Family of Piece-wise Linear Activation Functions},
  author = {László Antal and Hana Masara and Erika Ábrahám},
  year = {2023},
  doi = {10.4204/eptcs.395.4},
  url = {https://arxiv.org/abs/2311.10780},
  note = {Source identifier: 2311.10780}
}