VaToMAS - Verification and Testing of Multi-Agent Systems (Dagstuhl Seminar 13181)

Authors Alessio R. Lomuscio, Sophie Pinchinat, Holger Schlingloff and all authors of the abstracts in this report



PDF
Thumbnail PDF

File

DagRep.3.4.151.pdf
  • Filesize: 1.02 MB
  • 37 pages

Document Identifiers

Author Details

Alessio R. Lomuscio
Sophie Pinchinat
Holger Schlingloff
and all authors of the abstracts in this report

Cite AsGet BibTex

Alessio R. Lomuscio, Sophie Pinchinat, and Holger Schlingloff. VaToMAS - Verification and Testing of Multi-Agent Systems (Dagstuhl Seminar 13181). In Dagstuhl Reports, Volume 3, Issue 4, pp. 151-187, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
https://doi.org/10.4230/DagRep.3.4.151

Abstract

This report documents the program and the outcomes of Dagstuhl Seminar 13181 ``VaToMAS - Verification and Testing of Multi-Agent Systems''.
Keywords
  • Model checking
  • Specification-based testing
  • Multi-agent systems
  • Controller synthesis
  • Temporal logic

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail