Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Using Assume-Guarantee Contracts in Autonomous Spacecraft


    Contributors:
    J. B. Dabney (author) / P. Rajagopal (author) / J. M. Badger (author)

    Publication date :

    2021


    Size :

    18 pages


    Type of media :

    Report


    Type of material :

    No indication


    Language :

    English




    Using Assume-Guarantee Contracts in Autonomous Spacecraft

    James B Dabney / Pavan Rajagopal / Julia M Badger | NTRS


    Using Assume-Guarantee Contracts for Operational Verification of Autonomous Spacecraft

    Pavan Rajagopal / James B. Dabney / Julia M. Badger | NTRS



    Early Design Exploration of Space System Scenarios Using Assume-Guarantee Contracts

    Rouquette, Nicolas / Incer, Inigo / Pinto, Alessandro | IEEE | 2023


    AN ASSUME-GUARANTEE FRAMEWORK FOR MULTIPLE-OBSTACLE COLLISION AVOIDANCE

    Nallan, K. / Mishra, S. / Julius, A. | TIBKAT | 2021