Formal Composition of Robotic Systems as Contract Programs

Mason Nakamura, Justin Svegliato, Samer B. Nashed, Shlomo Zilberstein, Stuart Russell 0001. Formal Composition of Robotic Systems as Contract Programs. In IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2023, Detroit, MI, USA, October 1-5, 2023. pages 6727-6732, IEEE, 2023. [doi]

Abstract

Abstract is missing.