Login / Signup

Assurance for Integrating Advanced Algorithms in Autonomous Safety-Critical Systems.

Milton StaffordSiddhartha BhattacharyyaMatthew ClarkNatasha A. NeogiThomas C. Eskridge
Published in: IEEE Syst. J. (2021)
Keyphrases
  • safety critical
  • formal methods
  • learning algorithm
  • safety analysis
  • distributed systems
  • fault tolerant
  • cooperative
  • embedded systems
  • intelligent systems
  • adaptive systems