Dutle

伊万·佩雷斯

• Aaron Dutle、Cesar Munoz、Esther Conrad、Alwyn Goodloe、Laura Titolo、Ivan Perez、Swee Balachandran、Dimi- tra Giannakopoulou、Anastasia Mavridou、Thomas Pressburger。从需求到自主飞行：ICAROUS 监控项目概述。在 EPTCS 329 自主系统形式化方法第二届研讨会论文集上。2020 年 12 月。