- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-7454
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Modelling and verification of reconfigurable multi-agent systems ; volume:35 ; number:2 ; day:26 ; month:8 ; year:2021 ; pages:1-36 ; date:10.2021
Autonomous agents and multi-agent systems ; 35, Heft 2 (26.8.2021), 1-36, 10.2021
- Urheber
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10458-021-09521-x
- URN
-
urn:nbn:de:101:1-2021121518464634566266
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:30 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Abd Alrahman, Yehia
- Piterman, Nir
- SpringerLink (Online service)
Ähnliche Objekte (12)
Rational verification: game-theoretic verification of multi-agent systems
Multi-Agent Safety Verification using Symmetry Transformations
Hybrid multi-agent systems: modeling, specification and verification
Modelling resilient collaborative multi-agent systems
Formal modelling and verification of a multi-agent negotiation approach for airline operations control
Modeling, verification, and strategic reasoning in multi-agent systems
Logic-based specification and verification of homogeneous dynamic multi-agent systems
Safe and reconfigurable manufacturing: safety aware multi-agent control for Plug & Produce system
MCMAS: an open-source model checker for the verification of multi-agent systems
Multi-agent rationality : proceedings
Governing multi-agent systems
Normative Multi-Agent Systems
Rational verification: game-theoretic verification of multi-agent systems
Multi-Agent Safety Verification using Symmetry Transformations
Hybrid multi-agent systems: modeling, specification and verification
Modelling resilient collaborative multi-agent systems
Formal modelling and verification of a multi-agent negotiation approach for airline operations control
Modeling, verification, and strategic reasoning in multi-agent systems
Logic-based specification and verification of homogeneous dynamic multi-agent systems
Safe and reconfigurable manufacturing: safety aware multi-agent control for Plug & Produce system
MCMAS: an open-source model checker for the verification of multi-agent systems
Multi-agent rationality : proceedings
Governing multi-agent systems
Normative Multi-Agent Systems
Rational verification: game-theoretic verification of multi-agent systems
Multi-Agent Safety Verification using Symmetry Transformations
Hybrid multi-agent systems: modeling, specification and verification
Modelling resilient collaborative multi-agent systems
Formal modelling and verification of a multi-agent negotiation approach for airline operations control
Modeling, verification, and strategic reasoning in multi-agent systems
Logic-based specification and verification of homogeneous dynamic multi-agent systems
Safe and reconfigurable manufacturing: safety aware multi-agent control for Plug & Produce system
MCMAS: an open-source model checker for the verification of multi-agent systems
Multi-agent rationality : proceedings
Governing multi-agent systems