Rational verification: game-theoretic verification of multi-agent systems

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISSN
1573-7497
Umfang
Online-Ressource
Sprache
Englisch
Anmerkungen
online resource.

Erschienen in
Rational verification: game-theoretic verification of multi-agent systems ; volume:51 ; number:9 ; day:3 ; month:8 ; year:2021 ; pages:6569-6584 ; date:9.2021
Applied intelligence ; 51, Heft 9 (3.8.2021), 6569-6584, 9.2021

Urheber
Abate, Alessandro
Gutierrez, Julian
Hammond, Lewis
Harrenstein, Paul
Kwiatkowska, Marta Z.
Najib, Muhammad
Perelli, Giuseppe
Steeples, Thomas
Wooldridge, Michael J.
Beteiligte Personen und Organisationen
SpringerLink (Online service)

DOI
10.1007/s10489-021-02658-y
URN
urn:nbn:de:101:1-2021110605293606211062
Rechteinformation
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
15.08.2025, 07:39 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

Ähnliche Objekte (12)