Formal Verification of Long Short-Term Memory based Audio Classifiers: A Star based Approach (bibtex)

Reference:

Neelanjana Pal and Taylor T. Johnson, "Formal Verification of Long Short-Term Memory based Audio Classifiers: A Star based Approach", In 5th International Workshop on Formal Methods for Autonomous Systems (FMAS'23), EPTCS, pp. 162–179, 2023.

Bibtex Entry:

@inproceedings{pal2023fmas,
  title = {Formal Verification of Long Short-Term Memory based Audio Classifiers: A Star based Approach},
  author = {Neelanjana Pal and Taylor T. Johnson},
  year = {2023},
  month = nov,
  booktitle = {5th International Workshop on Formal Methods for Autonomous Systems (FMAS'23)},
  volume = {395},
  pages = {162--179},
  publisher = {EPTCS},
  doi = {10.4204/EPTCS.395.12},
  keywords = {formal verification,lstm,robustness},
  publabel = {W29},
  pubtype = {W},
  arxiv = {2311.12130},
  dblp = {journals/corr/abs-2311-12130},
  s2id = {265249004},
  pdf = "research/pal2023fmas.pdf",
}