邹学毅 罗布·亚历山大 约翰·麦克德米德 基于模型优化开发的无人机防撞系统的验证：挑战和初步部分解决方案。 192-199 2016 DSN研讨会 https://doi.org/10.1109/DSN-W.2016.12 https://doi.ieecomputersociety.org/10.109/DSN-W.2016.12 conf/dsn/2016周 db/conf/dsn/dsn2016w.html#ZouAM16