Login / Signup
ACETONE: Predictable Programming Framework for ML Applications in Safety-Critical Systems.
Iryna De Albuquerque Silva
Thomas Carle
Adrien Gauffriau
Claire Pagetti
Published in:
ECRTS (2022)
Keyphrases
</>
safety critical
safety analysis
embedded systems
formal methods
real time
data model
intelligent systems
learning systems
adaptive systems
decision making
distributed systems
nuclear power plant