DagRep.3.4.151.pdf
- Filesize: 1.02 MB
- 37 pages
Document
VaToMAS - Verification and Testing of Multi-Agent Systems (Dagstuhl Seminar 13181)
Authors and all authors of the abstracts in this report
-
Part of:
Issue:
Dagstuhl Reports, Volume 3, Issue 4
Volume: Dagstuhl Reports, Volume 3
Journal: Dagstuhl Reports (DagRep) - License:
Creative Commons Attribution 3.0 Unported license
- Publication Date: 2013-09-02
Cite As Get 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''.
Subject Classification
Keywords
- Model checking
- Specification-based testing
- Multi-agent systems
- Controller synthesis
- Temporal logic
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads