Invited Talk at ICIRT 2025 Workshop

An invited talk will be provided in the Workshop on AI-Empowered Safe and Secure Rail Control Systems, held in conjunction with the IEEE International Conference on Intelligent Rail Transportation (IEEE ICIRT 2025).

This workshop focuses on the integration of AI technologies to enhance the safety and security of railway control systems, addressing challenges in dependability, verification, and real-world applications. Our contribution will introduce research results from the CREST-FMAP project, highlighting how formal methods and verification techniques can support the assurance of next-generation transportation systems.

For details and registration, please visit the workshop page.

Workshop: AI-Empowered Safe and Secure Rail Control Systems