h1

h2

h3

h4

h5
h6
http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

Verification of Robust Multi-Agent Systems

; ; ;

In
Proceedings of AAMAS-2026 / IFAAMAS, ACM (in-cooperation) ; general chairs: Viviana Mascardi (University of Genova, Italy), John Thangarajah (RMIT University, Australia) ; program chairs: Chris Amato (Northeastern University, USA), Louise Dennis (University of Manchester, UK), Seiten/Artikel-Nr: 3758-3766

Konferenz/Event:25. International Conference on Autonomous Agents and Multiagent Systems , Paphos , Cyprus , AAMAS 2026 , 2026-05-25 - 2026-05-29

: International Foundation for Autonomous Agents and Multiagent Systems Richland, SC

Umfang3758-3766

ISBN979-8-4007-2317-9

Online
DOI: 10.65109/DHRR7601


Einrichtungen

  1. Lehrstuhl für Softwaremodellierung und Verifikation (Informatik 2) (121310)



Dokumenttyp
Contribution to a book/Contribution to a conference proceedings

Format
online

Sprache
English

Anmerkung
Peer review status of article unknown

Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-105041377823
WOS Core Collection: WOS:001880341000534

Interne Identnummern
RWTH-2026-10618
Datensatz-ID: 1046701

Beteiligte Länder
France, Germany, Italy

 GO

QR Code for this record

The record appears in these collections:
Document types > Events > Contributions to a conference proceedings
Document types > Books > Contributions to a book
Faculty of Computer Science (Fac.9)
Public records
Publications database
121310
 Record created 2026-11-11, last modified 2026-11-12
Similar records



Rate this document:

Rate this document:
1
2
3
4
5
 
(Not yet reviewed)