TITLE     : Safe and secure future AI-driven railway technologies: challenges for formal methods in railway
AUTHOR(S) : Seisenberger M, Ter Beek Mh, Fan X, Ferrari A, Haxthausen A, James P, Lawrence A, Luttik B, Van De Pol J, Wimmer S
TYPE      : Conference article
YEAR      : 2022
CODE      : 471910

*** DO NOT EDIT THIS FILE ***