A Tunable Universal Formula for Safety-Critical Control.

Ming Li Zhiyong Sun Patrick J. W. Koelewijn Siep Weiland

Published in: CoRR (2024)

Keyphrases

safety critical
fault tolerant
formal methods
control system
nuclear power plant
machine learning
embedded systems
agent architecture
safety analysis
real time
user interface