Mason Nakamura

Publication Activity (10 Years)

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

Top Topics

Search And Rescue

Unstructured Environments

Human Teaching Behavior

Top Venues

Publications

Mason Nakamura, Justin Svegliato, Samer B. Nashed, Shlomo Zilberstein, Stuart Russell
Formal Composition of Robotic Systems as Contract Programs. IROS (2023)