Robustness Verification of Video Classification Neural Networks (bibtex)

by Samuel Sasaki, Preston K. Robinette, Diego Manzanas Lopez and Taylor T. Johnson

Reference:

Samuel Sasaki, Preston K. Robinette, Diego Manzanas Lopez and Taylor T. Johnson, "Robustness Verification of Video Classification Neural Networks", In 13th International Conference on Formal Methods in Software Engineering (FormaliSE'25), ACM, pp. 22–33, 2025.

Bibtex Entry:

@inproceedings{sasaki2025formalise,
  title = {Robustness Verification of Video Classification Neural Networks},
  author = {Samuel Sasaki and Preston K. Robinette and Diego Manzanas Lopez and Taylor T. Johnson},
  year = {2025},
  month = may,
  booktitle = {13th International Conference on Formal Methods in Software Engineering (FormaliSE'25)},
  pages = {22--33},
  publisher = {ACM},
  doi = {10.1109/FormaliSE66629.2025.00009},
  keywords = {neural network verification, video classification, formal verification},
  publabel = {C52},
  pubtype = {C},
  dblp = {conf/icse-formalise/SasakiLRJ25},
  pdf = "research/sasaki2025formalise.pdf",
}