Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Kristin Y. Rozier"'
Autor:
Johann Schumann, Kristin Y. Rozier, Thomas Reinbacher, Ole J. Mengshoel, Timmy Mbaya, Corey Ippolito
Publikováno v:
International Journal of Prognostics and Health Management, Vol 6, Iss 1 (2015)
For unmanned aerial systems (UAS) to be successfully deployed and integrated within the national airspace, it is imperative that they possess the capability to effectively complete their missions without compromising the safety of other aircraft, as
Externí odkaz:
https://doaj.org/article/97e1c496ac9842668bdd50daf84cf000
Publikováno v:
AIAA SCITECH 2023 Forum.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::97b63f572cc7174016e97b193bc26a0e
https://doi.org/10.2514/6.2023-2669
https://doi.org/10.2514/6.2023-2669
Autor:
Rohit Dureja, Kristin Y. Rozier
Publikováno v:
Formal Methods in System Design. 58:375-398
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::50c7e0c8965a123c531a9440f8707cd7
https://doi.org/10.1007/s10703-022-00389-5
https://doi.org/10.1007/s10703-022-00389-5
Publikováno v:
2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1d886709462c9f1c04bcb7cd4c966575
https://doi.org/10.1109/compsac54236.2022.00260
https://doi.org/10.1109/compsac54236.2022.00260
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031212215
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::27b56fbdae8ce42ec07678e2fc04cbb0
https://doi.org/10.1007/978-3-031-21222-2_11
https://doi.org/10.1007/978-3-031-21222-2_11
Publikováno v:
Information and Computation. 289:104923
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::eb3f048b8cf90ee76901a3fd099cd4f6
https://doi.org/10.1016/j.ic.2022.104923
https://doi.org/10.1016/j.ic.2022.104923
Publikováno v:
Runtime Verification ISBN: 9783319238197
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4042c53cc416fbc1824529bf32688846
https://doi.org/10.1007/978-3-319-23820-3_15
https://doi.org/10.1007/978-3-319-23820-3_15
Autor:
Yang Zhao, Kristin Y. Rozier
Publikováno v:
2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::df046d2fae82d4d16f1ad3443eafc6b3
https://doi.org/10.1109/iccad.2014.7001427
https://doi.org/10.1109/iccad.2014.7001427