Human-computer interface concepts for verifiable mission specification, planning, and management C Rothwell, A Eggert, MJ Patzek, G Bearden, GL Calhoun, LR Humphrey AIAA Infotech@ Aerospace (I@ A) Conference, 4804, 2013 | 7 | 2013 |
Optimal search for a random moving intruder D Casbeer, K Kalyanam, A Eggert, P Chandler, M Pachter Infotech@ Aerospace 2012, 2453, 2012 | 5 | 2012 |