1–5 von 5 Ergebnissen
|

    Using Assume-Guarantee Contracts for Operational Verification of Autonomous Spacecraft

    P. Rajagopal / J. B. Dabney / J. M. Badger | NTIS | 2023
    Verlag: National Aeronautics and Space Administration, Washington, DC.

    Trustworthy Autonomy for Gateway Vehicle System Manager

    J. B. Dabney / P. Rajagopal / J. M. Badger | NTIS | 2023
    Verlag: National Aeronautics and Space Administration, Washington, DC.

    Using Assume-Guarantee Contracts in Autonomous Spacecraft

    J. B. Dabney / P. Rajagopal / J. M. Badger | NTIS | 2021
    Verlag: National Aeronautics and Space Administration, Washington, DC.

    Towards Autonomous Operation of Robonaut 2

    J. M. Badger / S. W. Hart / J. D. Yamokoski | NTIS | 2011
    Verlag: National Aeronautics and Space Administration, Houston, TX. Lyndon B. Johnson Space Center

    Formal Verification Toolkit for Requirements and Early Design Stages

    J. M. Badger / S. J. Miller | NTIS | 2011
    Verlag: National Aeronautics and Space Administration, Houston, TX. Lyndon B. Johnson Space Center