External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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]

Authors

Mason Nakamura

This author has not been identified. Look up 'Mason Nakamura' in Google

Justin Svegliato

This author has not been identified. Look up 'Justin Svegliato' in Google

Samer B. Nashed

This author has not been identified. Look up 'Samer B. Nashed' in Google

Shlomo Zilberstein

This author has not been identified. Look up 'Shlomo Zilberstein' in Google

Stuart Russell 0001

This author has not been identified. Look up 'Stuart Russell 0001' in Google
runs on