@incollection{girard-satabin2027verification,
  title = {Verification of {{LTL Properties}} on {{Neural Networks}} for {{Chemical Process Monitoring}}},
  booktitle = {{{AI Verification}}},
  author = {Girard-Satabin, Julien and Lutz, Simon and Neider, Daniel},
  editor = {Avni, Guy and Schilling, Christian},
  date = {2027},
  volume = {16831},
  pages = {317--330},
  publisher = {Springer Nature Switzerland},
  location = {Cham},
  doi = {10.1007/978-3-032-32357-6_15},
  url = {https://link.springer.com/10.1007/978-3-032-32357-6_15},
  urldate = {2026-07-24},
  isbn = {978-3-032-32356-9 978-3-032-32357-6},
  langid = {english}
}