Damian M. Lyons, Ronald C. Arkin, S. Jiang, M. O'Brien, F. Tang, P. Tang. Formal performance guarantees for an approach to human in the loop robot missions. In 2017 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2017, Banff, AB, Canada, October 5-8, 2017. pages 752-757, IEEE, 2017. [doi]
Abstract is missing.