Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Partial Satisfaction of Signal Temporal Logic Specifications for Coordination of Multi-robot Systems


    Contributors:

    Conference:

    International Workshop on the Algorithmic Foundations of Robotics ; 15. ; 2022 ; College Park



    Publication date :

    2023



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English



    Classification :

    DDC:    629.8





    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


    Distributed Planning of Multi-Agent Systems with Coupled Temporal Logic Specifications

    Büyükkoçak, Ali Tevfik / Aksaray, Derya / Yazicioglu, Yasin | AIAA | 2021