Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:

    Kongress:

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



    Erscheinungsdatum :

    2023



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch



    Klassifikation :

    DDC:    629.8




    Power Line Inspection Tasks with Multi-Aerial Robot Systems Via Signal Temporal Logic Specifications

    Silano G. / Baca T. / Penicka R. et al. | BASE | 2021

    Freier Zugriff

    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