Login / Signup

ACETONE: Predictable Programming Framework for ML Applications in Safety-Critical Systems.

Iryna De Albuquerque SilvaThomas CarleAdrien GauffriauClaire 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