Selection factors determining the hybrid approach: A preliminary study M Brown, S Dey, G Tuxworth Virtual Conference, 25th Americas Conference on Information Systems (AMCIS …, 2020 | 2 | 2020 |
An ility calculation for satellite software validation M Brown, S Dey, G Tuxworth, J Co, P Bernus, P de Souza 2022 IEEE Aerospace Conference (AERO), 1-20, 2022 | 1 | 2022 |
Dynamic Verification of Satellite Systems Using Ilities M Brown, S Dey, G Tuxworth, P Bernus, P de Souza International Association for the Advancement of Space Safety 11, 768-775, 2021 | 1 | 2021 |
Instructing Robots with Natural Language via Bi-RNNs for Temporal Logic Translation S Sharma, KMB Lee, M Brown, G Best Australasian Conference on Robotics and Automation (ACRA), 2023 | | 2023 |
Journal of Space Safety Engineering M Brown, S Dey, G Tuxworth, P Bernus, P de Souza | | |