• DocumentCode
    3680763
  • Title

    Adaptive stress testing of airborne collision avoidance systems

  • Author

    Ritchie Lee;Mykel Kochenderfer;Ole Mengshoel;Guillaume Brat;Michael Owen

  • Author_Institution
    CMU, Pittsburgh, PA 15213, United States
  • fYear
    2015
  • Firstpage
    1
  • Lastpage
    24
  • Abstract
    ■ Powerful black box method to find high probability trajectory to a critical event ■ Demonstrated effectiveness in stress testing ACAS X ■ Black box approach with very little requirements ■ Open source software release
  • Publisher
    ieee
  • Conference_Titel
    Digital Avionics Systems Conference (DASC), 2015 IEEE/AIAA 34th
  • ISSN
    2155-7195
  • Electronic_ISBN
    2155-7209
  • Type

    conf

  • DOI
    10.1109/DASC.2015.7311613
  • Filename
    7311613