OpenUAS Version 1.0 C Johannsen, M Anderson, W Burken, E Diersen, J Edgren, C Glick, ... 2021 International Conference on Unmanned Aircraft Systems (ICUAS), 1449-1458, 2021 | 1 | 2021 |
MoXI: An Intermediate Language for Symbolic Model Checking KY Rozier, R Dureja, A Irfan, C Johannsen, K Nukala, N Shankar, ... Proceedings of the 30th International Symposium on Model Checking Software …, 0 | 1 | |