The Safe and Effective Application of Probabilistic Techniques in Safety-Critical Systems.

Kunal Agrawal Sanjoy K. Baruah Zhishan Guo Jing Li

Published in: ICCAD (2020)

Keyphrases

safety critical
safety analysis
formal methods
fault tolerant
nuclear power plant
adaptive systems
real time
learning systems
embedded systems
software engineering
intelligent systems
computing environments
decision support
distributed systems
open source
low cost
recommender systems