Deductive verification of simple foraging robotic behaviours (Q3653523)

From MaRDI portal
Revision as of 12:09, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
Deductive verification of simple foraging robotic behaviours
scientific article

    Statements

    Deductive verification of simple foraging robotic behaviours (English)
    0 references
    22 December 2009
    0 references
    control applications
    0 references
    control technology
    0 references
    modeling
    0 references
    robotics
    0 references

    Identifiers