Login / Signup
The Safe and Effective Use of Low-Assurance Predictions in Safety-Critical Systems.
Kunal Agrawal
Sanjoy K. Baruah
Michael A. Bender
Alberto Marchetti-Spaccamela
Published in:
ECRTS (2023)
Keyphrases
</>
safety critical
formal methods
embedded systems
support systems
safety analysis
fault tolerant
agent architecture
distributed systems
machine learning
case based reasoning
intelligent systems
database applications