Formal Composition of Robotic Systems as Contract Programs.

Mason Nakamura, Justin Svegliato, Samer B. Nashed, Shlomo Zilberstein, Stuart Russell

Browse the full IROS paper archive.