- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-7454
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
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
- Creator
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10458-021-09521-x
- URN
-
urn:nbn:de:101:1-2021121518464634566266
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:30 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Abd Alrahman, Yehia
- Piterman, Nir
- SpringerLink (Online service)
Other Objects (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