ModelStar: Reachability Analysis-based Safety Verification of Neural Networks Against Model Perturbations (bibtex)

by Muhammad Usama Zubair, Taylor T. Johnson, Kanad Basu and Waseem Abbas

Reference:

Muhammad Usama Zubair, Taylor T. Johnson, Kanad Basu and Waseem Abbas, "ModelStar: Reachability Analysis-based Safety Verification of Neural Networks Against Model Perturbations", Journal of Artificial Intelligence Research, AAAI Press, vol. 85, 2026.

Bibtex Entry:

@article{zubair2026jair,
  title = {ModelStar: Reachability Analysis-based Safety Verification of Neural Networks Against Model Perturbations},
  author = {Muhammad Usama Zubair and Taylor T. Johnson and Kanad Basu and Waseem Abbas},
  year = {2026},
  month = apr,
  journal = {Journal of Artificial Intelligence Research},
  volume = {85},
  publisher = {AAAI Press},
  doi = {10.1613/jair.1.18922},
  url = {https://doi.org/10.1613/jair.1.18922},
  publabel = {J32},
  pubtype = {J},
  dblp = {journals/jair/ZubairJBA26},
  pdf = "research/zubair2026jair.pdf",
}