RTLola: Specifying Real-time Monitors for Unmanned Aircraft Systems

  • NSF-PIRE Workshop on Assured CPS Autonomy for 3D Urban Transportation
  • Avionics
  • Systems Engineering
  • Architectures
  • 2021
  • Presentation
  • Assured Autonomy
Submitted by Anonymous on