Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    State-Estimation-Aware Planning for Autonomous Systems with Temporal Logic Specifications



    Conference:

    AIAA SciTech Forum ; 2023 ; National Harbor, Md.; Online



    Publication date :

    2023


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English



    State-Estimation-Aware Planning for Autonomous Systems with Temporal Logic Specifications

    Büyükkoçak, Ali Tevfik / Hu, Yingjie / Taheri, Azizollah et al. | AIAA | 2023


    Satellite Mission Planning with Signal Temporal Logic Specifications

    Pantazides, Athanasios / Aksaray, Derya / Gebre-Egziabher, Demoz | TIBKAT | 2022


    Satellite Mission Planning with Signal Temporal Logic Specifications

    Pantazides, Athanasios / Aksaray, Derya / Gebre-egziabher, Demoz | AIAA | 2022


    Physics-based Motion Planning with Temporal Logic Specifications

    Ud Din, Muhayy / Akbari, Aliakbar / Rosell Gratacòs, Jan | BASE | 2017

    Free access

    RISK-AWARE MOTION PLANNING FOR AUTONOMOUS VEHICLES WITH SAFETY SPECIFICATIONS

    Nyberg, Truls / Pek, Christian / Col, Laura Dal et al. | British Library Conference Proceedings | 2021