Sign in
A Compositional Resilience Index for Computationally Efficient Safety Analysis of Interconnected Systems.
Luyao Niu
Abdullah Al Maruf
Andrew Clark
J. Sukarno Mertoguno
Radha Poovendran
Published in:
CoRR (2023)
Keyphrases
</>
safety analysis
computationally efficient
safety critical
nuclear power plant
symbolic model checking
complex systems
control system
intelligent systems
agent architecture
data structure
state space
formal methods