Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway.

Monika Seisenberger, Maurice H. ter Beek, Xiuyi Fan, Alessio Ferrari, Anne E. Haxthausen, Phillip James, Andrew Lawrence, Bas Luttik, Jaco van de Pol, Simon Wimmer

Browse the full ISoLA paper archive.