Using Assume-Guarantee Contracts for Operational Verification of Autonomous Spacecraft
Trustworthy Autonomy for Gateway Vehicle System Manager
Using Assume-Guarantee Contracts in Autonomous Spacecraft
Towards Autonomous Operation of Robonaut 2
Formal Verification Toolkit for Requirements and Early Design Stages