Safety Analysis of a Maneuver Coordination Protocol.

Bernd Lehmann Lars C. Wolf

Published in: VNC (2020)

Keyphrases

safety analysis
nuclear power plant
control system
safety critical
symbolic model checking
fault model
closed loop
model checker
cooperative
fuzzy control
model checking
multi agent systems
multi agent
formal analysis
formal specification
reliability analysis
markov decision processes