@misc{indiciae9c42b556c5da,
  title = {Reachability-Based Formal Verification of Graph Neural Networks with Node and Edge Features},
  author = {Anne M. Tumlin and Ben Wooding and Zhenxuan Shao and Diego Manzanas Lopez and Tyler Derr and Taylor T. Johnson},
  year = {2026},
  doi = {10.1007/978-3-032-32357-6\_13},
  url = {https://arxiv.org/abs/2609.30079},
  note = {Source identifier: 2609.30079}
}