Certification Game for the Safety Analysis of AI-Based CPS.
Imane LamraniAyan BanerjeeSandeep K. S. GuptaPublished in: SAFECOMP Workshops (2021)
Keyphrases
- safety analysis
- control system
- safety critical
- nuclear power plant
- fault model
- symbolic model checking
- artificial intelligence
- expert systems
- intelligent systems
- case based reasoning
- game play
- knowledge representation
- formal methods
- formal verification
- reliability analysis
- machine learning
- computational intelligence
- knowledge based systems
- model checking
- boolean functions
- fuzzy logic