This paper presents formalisms for describing societies of cooperating behavior-based mobile robots, including the coordination between members of homogeneous teams, members of heterogeneous castes, assemblages of behaviors on individual robots, as well as perceptual strategies within primitive sensorimotor behaviors. This formal language is intended to facilitate proving properties about systems described in it.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formal specification for behavior-based mobile robots


    Beteiligte:

    Kongress:

    Mobile Robots VIII ; 1993 ; Boston,MA,United States


    Erschienen in:

    Erscheinungsdatum :

    01.02.1994





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch





    Probabilistic planning with formal performance guarantees for mobile service robots

    Lacerda, B / Faruq, F / Parker, D et al. | BASE | 2019

    Freier Zugriff

    Evolutionary Behavior-Based Control of Mobile Robots

    Prof. Watanabe, Keigo / Prof. Hashem, M. M. A. | Springer Verlag | 2004


    Adaptive Behavior for Mobile Robots

    Huntsberger, Terrance | NTRS | 2009