NNV: A Star Set Reachability Approach (Competition Contribution) (bibtex)

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

Reference:

Diego Manzanas Lopez, Samuel Sasaki and Taylor T. Johnson, "NNV: A Star Set Reachability Approach (Competition Contribution)", In 2nd International Symposium on AI Verification (SAIV 2025), pp. 260–265, 2025.

Bibtex Entry:

@inproceedings{lopez2025saiv,
  title = {NNV: A Star Set Reachability Approach (Competition Contribution)},
  author = {Diego Manzanas Lopez and Samuel Sasaki and Taylor T. Johnson},
  year = {2025},
  booktitle = {2nd International Symposium on AI Verification (SAIV 2025)},
  pages = {260--265},
  doi = {10.1007/978-3-031-99991-8_15},
  publabel = {W33},
  pubtype = {W},
  dblp = {conf/saiv/LopezSJ25},
}