| 2018 | HAI | Toward Initiative Decision-Making for Distributed Human-Robot Teams. | Shu D. Jiang, Jonathan L. Odom |
| 2017 | SMC | Formal performance guarantees for an approach to human in the loop robot missions. | Damian M. Lyons, Ronald C. Arkin, Shu D. Jiang, Matthew Joseph O'Brien, F. Tang, P. Tang |
| 2016 | ICTAI | Formal Performance Guarantees for Behavior-Based Localization Missions. | Damian M. Lyons, Ronald C. Arkin, Shu D. Jiang, Matthew Joseph O'Brien, Feng Tang, Peng Tang |
| 2015 | ICTAI | Probabilistic Verification of Multi-robot Missions in Uncertain Environments. | Damian M. Lyons, Ronald C. Arkin, Shu D. Jiang, Dagan Harrington, Feng Tang, Peng Tang |
| 2015 | SMC | Mixed-Initiative Human-Robot Interaction: Definition, Taxonomy, and Survey. | Shu D. Jiang, Ronald C. Arkin |
| 2014 | IROS | Verifying and validating multirobot missions. | Damian M. Lyons, Ronald C. Arkin, Shu D. Jiang, Dagan Harrington, T. Liu |
| 2013 | IROS | Getting it right the first time: Robot mission guarantees in the presence of uncertainty. | Damian M. Lyons, Ronald C. Arkin, P. Nirmal, Shu D. Jiang, Tsung-Ming Liu, J. Deeb |
| 2012 | IROS | Designing autonomous robot missions with performance guarantees. | Damian M. Lyons, Ronald C. Arkin, P. Nirmal, Shu D. Jiang |