Monika Seisenberger, Maurice H. ter Beek, Xiuyi Fan, Alessio Ferrari 0001, Anne E. Haxthausen, Phillip James, Andrew Lawrence, Bas Luttik, Jaco van de Pol, Simon Wimmer 0001. Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation. Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV. Volume 13704 of Lecture Notes in Computer Science, pages 246-268, Springer, 2022. [doi]
@inproceedings{SeisenbergerBFF22,
title = {Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway},
author = {Monika Seisenberger and Maurice H. ter Beek and Xiuyi Fan and Alessio Ferrari 0001 and Anne E. Haxthausen and Phillip James and Andrew Lawrence and Bas Luttik and Jaco van de Pol and Simon Wimmer 0001},
year = {2022},
doi = {10.1007/978-3-031-19762-8_20},
url = {https://doi.org/10.1007/978-3-031-19762-8_20},
researchr = {https://researchr.org/publication/SeisenbergerBFF22},
cites = {0},
citedby = {0},
pages = {246-268},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV},
editor = {Tiziana Margaria and Bernhard Steffen},
volume = {13704},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-031-19762-8},
}