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

Prithvi Akella Aaron D. Ames

Published in: IEEE Robotics Autom. Lett. (2022)

Keyphrases

safety critical
formal methods
safety analysis
embedded systems
fault tolerant
agent architecture
nuclear power plant
data mining
real time
artificial intelligence
distributed systems
support systems
regulatory requirements
adaptive systems
formal specification
recommendation systems
expert systems
machine learning