Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway.
Monika SeisenbergerMaurice H. ter BeekXiuyi FanAlessio FerrariAnne E. HaxthausenPhillip JamesAndrew LawrenceBas LuttikJaco van de PolSimon WimmerPublished in: ISoLA (4) (2022)
Keyphrases
- formal methods
- artificial intelligence
- knowledge based systems
- advanced technologies
- formal analysis
- future trends
- security properties
- expert systems
- software engineering
- model checking
- safety critical
- model checker
- machine learning
- process algebra
- radio frequency identification rfid
- challenges facing
- formal specification
- knowledge representation
- real world
- reactive systems
- ai technologies
- knowledge base
- formal model
- wisdom web