Author:
Paul Saswata,Patterson Stacy,Varela Carlos A.
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. SMT-Based Aircraft Conflict Detection and Resolution;Lecture Notes in Computer Science;2024
2. CONGEST: An Algorithm to Detect Congestion Zones Based on Unmanned Aerial Vehicle (UAV) Flight plans;2023 2nd International Conference on Vision Towards Emerging Trends in Communication and Networking Technologies (ViTECoN);2023-05-05
3. Formal Verification of Safety-Critical Aerospace Systems;IEEE Aerospace and Electronic Systems Magazine;2023-05-01
4. On the underlying dynamics of traffic conflicts related to stochastic behaviour;Proceedings of the Institution of Mechanical Engineers, Part G: Journal of Aerospace Engineering;2022-08-13
5. Eventual consensus in Synod: verification using a failure-aware actor model;Innovations in Systems and Software Engineering;2022-07-25