TY  - RPRT
TI  - Formal Specification and Parametric Verification of the ICAROUS Distributed Merging Protocol for Autonomous Aircraft Systems
AU  - William Schultz
AU  - Swee Balachandran
UR  - https://ntrs.nasa.gov/citations/20210020643
ID  - 20210020643
ER  -