P. Tang

Publication Activity (10 Years)

Years Active: 2017-2017
Publications (10 Years): 1

Top Topics

Formal Specification

Human Interaction

Robot Programming

Top Venues

Publications

Damian M. Lyons, Ronald C. Arkin, Shu Jiang, Matthew O'Brien, F. Tang, P. Tang
Formal performance guarantees for an approach to human in the loop robot missions. SMC (2017)