Tag: Camilo Rocha

Title: Formal Specification and Reachability Analysis of ICAROUS Software Architecture Speaker: Camilo Rocha, NIA Visitor Date: Thursday, December 1, 2016 Time: 10:30am Location: NIA, Room 141 Host: C. Munoz, NASA/LaRC Abstract: ICAROUS is a software library that includes a collection of formally verified and configurable algorithms supporting the implementation of safe and autonomous unmanned aircraft applications…