TY  - RPRT
TI  - Using Assume-Guarantee Contracts in Autonomous Spacecraft
AU  - James B Dabney
AU  - Pavan Rajagopal
AU  - Julia M Badger
UR  - https://ntrs.nasa.gov/citations/20210000726
ID  - 20210000726
ER  -