12 citations · 15 across the 3 of their papers we have counts for
2 papers
cs.SE2020★ 12 cited
From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project
Aaron Dutle, César Muñoz, Esther Conrad +7
The Independent Configurable Architecture for Reliable Operations of Unmanned Systems (ICAROUS) is a software architecture incorporating a set of algorithms to enable autonomous op…
cs.SE2015★ 3 cited
Verifying the Safety of a Flight-Critical System
Guillaume Brat, David Bushnell, Misty Davies +3
This paper describes our work on demonstrating verification technologies on a flight-critical system of realistic functionality, size, and complexity. Our work targeted a commercia…