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:
Dokumenttypen > Ereignisse > Beiträge zu Proceedings
Dokumenttypen > Bücher > Buchbeiträge
Fakultät für Informatik (Fak.9)
Öffentliche Einträge
Publikationsdatenbank
121310

 Datensatz erzeugt am 2026-11-11, letzte Änderung am 2026-11-12



Dieses Dokument bewerten:

Rate this document:
1
2
3
 
(Bisher nicht rezensiert)