Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Dustin Hauptman"'
Publikováno v:
2021 International Conference on Unmanned Aircraft Systems (ICUAS).
With the advent of the unmanned aerial systems (UAS) era, it is important that research be conducted into the reliable and safe operation of UAS in urban areas, where aircraft are flying over people and property in spatially constrained environments.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::131f1549e7bbf2105f0ef48cac479ec0
https://doi.org/10.1109/icuas51884.2021.9476780
https://doi.org/10.1109/icuas51884.2021.9476780
Autor:
Pavithra Prabhakar, Dustin Hauptman, Daksh Shukla, Ratan Lal, Nicole M. Beckage, Shawn Keshmiri
Publikováno v:
AIAA AVIATION 2020 FORUM.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f667925db539f641cf8826f7453af3d0
https://doi.org/10.2514/6.2020-3093
https://doi.org/10.2514/6.2020-3093
Publikováno v:
2020 IEEE Aerospace Conference.
Traditional path-planning algorithms are entirely reliant on a priori information to function, meaning user interaction is always required. This rigidity constrains the functionality of Unmanned Aerial Systems in search, rescue, and reconnaissance mi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cd1c6b19e2d81115f0e4eb8b1383c751
https://doi.org/10.1109/aero47225.2020.9172365
https://doi.org/10.1109/aero47225.2020.9172365
Autor:
Alexandra Silva, K. Rustan M. Leino
This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool pa
