Artificial Intelligence for Safety-Critical Systems in Industrial and Transportation Domains: A Survey.
Jon Pérez-CerrolazaJaume AbellaMarkus BorgCarlo DonzellaJesús CerquidesFrancisco J. CazorlaCristofer EnglundMarkus TauberGeorge NikolakopoulosJose Luis FloresPublished in: ACM Comput. Surv. (2024)
Keyphrases
- safety critical
- artificial intelligence
- formal methods
- safety analysis
- expert systems
- intelligent systems
- embedded systems
- knowledge based systems
- nuclear power plant
- computational intelligence
- distributed systems
- fault tolerant
- support systems
- regulatory requirements
- reverse engineering
- open source
- management system
- cooperative