Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Formal Verification of System States for Spacecraft Automatic Maneuvering


    Contributors:

    Conference:

    AIAA SciTech Forum and Exposition ; 2019 ; San Diego, Calif.



    Publication date :

    2019


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English



    Formal Verification of System States for Spacecraft Automatic Maneuvering

    Hobbs, Kerianne L. / Perez, Ivan / Fifarek, Aaron et al. | AIAA | 2019


    RISK-BASED FORMAL REQUIREMENT ELICITATION FOR AUTOMATIC SPACECRAFT MANEUVERING

    Hobbs, Kerianne L. / Collins, Alexander R. / Feron, Eric M. | TIBKAT | 2021


    Risk-Based Formal Requirement Elicitation for Automatic Spacecraft Maneuvering

    Hobbs, Kerianne L. / Collins, Alexander R. / Feron, Eric M. | AIAA | 2021


    Formal Verification of Maneuvering Target Tracking

    Moulin, Mark / Gluhovsky, Leonid / Bendersky, Eli | AIAA | 2003