Probabilistic model checking of the next-generation airborne collision avoidance system
Research article (2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC), 2016) · cited 13× · AI/ML