Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formal Verification of Maneuvering Target Tracking


    Contributors:

    Conference:

    AIAA Guidance, Navigation, and Control Conference and Exhibit



    Publication date :

    2003-01-01




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English




    Formal Verification of System States for Spacecraft Automatic Maneuvering

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


    Formal Verification of System States for Spacecraft Automatic Maneuvering

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


    Visual Tracking of a Maneuvering Target

    Stepanyan, Vahram / Hovakimyan, Naira | AIAA | 2006


    Maneuvering target tracking with colored noise

    Wen-Rong Wu / Dah-Chung Chang | IEEE | 1996