Author:
Rashid Adnan,Hasan Osman,Abed Sa’ed
Publisher
Springer International Publishing
Reference41 articles.
1. Abed SE, Rashid A, Hasan O (2022) Formal analysis of unmanned aerial vehicles using higher-order-logic theorem proving: project webpage. http://save.seecs.nust.edu.pk/fauav/
2. Abed S, Rashid A, Hasan O (2020) Formal analysis of unmanned aerial vehicles using higher-order-logic theorem proving. J Aerosp Inf Syst 17(9):481–495
3. Ahmad A, Samad AM (2010) Aerial mapping using high resolution digital camera and unmanned aerial vehicle for geographical information system. In: International colloquium on signal processing and its applications. IEEE, pp 1–6
4. Aréchiga N, Loos SM, Platzer A, Krogh BH (2012) Using theorem provers to guarantee closed-loop system properties. In: American control conference. IEEE, pp 3573–3580
5. Baier C, Katoen JP (2008) Principles of model checking. MIT Press
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献