A Barrier-Based Scenario Approach to Verify Safety-Critical Systems.

Prithvi Akella Aaron D. Ames

Published in: CoRR (2022)

Keyphrases

safety critical
safety analysis
fault tolerant
formal methods
nuclear power plant
expert systems
embedded systems
agent architecture
databases
data mining
management system
low cost
decision support system
learning systems
support systems
regulatory requirements