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

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

527 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway'. Together they form a unique fingerprint.

Computer Science

Keyphrases