Full-protocol safety analysis of CINNAMON.

Luca Dariz Gianpiero Costantino Ilaria Matteucci

Published in: VTC Spring (2022)

Keyphrases

safety analysis
nuclear power plant
safety critical
control system
fault model
symbolic model checking
formal analysis
formal methods
reliability analysis
artificial intelligence
reinforcement learning
expert systems
decision makers
intelligent systems
fault tolerant
model checker