Treffer 1 - 7 von 7 für Suche 'Holvoet, Tom', Suchdauer: 0,24s Treffer weiter einschränken
  1. 1
    vGOAL: A GOAL-Based Specification Language for Safe Autonomous Decision-Making
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  2. 2
    A Framework for Verifying Autonomous Robotic Agents Against Environment Assumptions
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Formal Verification of Autonomous UAV Behavior for Inspection Tasks Using the Knowledge Base System IDP
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Software engineering for multi-agent systems IV : research issues and practical applications
    Veröffentlicht 2006
    Inhaltsverzeichnis
    Inhaltstext
    Publisher description
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Advances in practical applications of agents, multi-agent systems, and trustworthiness : the PAAMS collection : 18th international conference, PAAMS 2020, L'Aquila, Italy, October 7-9, 2020 : proceedings
    Veröffentlicht 2020
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  6. 6
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Coordination models and languages : 17th IFIP WG 6.1 international conference, COORDINATION 2015, held as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015 ; proceedings
    Veröffentlicht 2015
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: