- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-7497
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
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
- Creator
-
Abate, Alessandro
Gutierrez, Julian
Hammond, Lewis
Harrenstein, Paul
Kwiatkowska, Marta Z.
Najib, Muhammad
Perelli, Giuseppe
Steeples, Thomas
Wooldridge, Michael J.
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10489-021-02658-y
- URN
-
urn:nbn:de:101:1-2021110605293606211062
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:39 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
- Abate, Alessandro
- Gutierrez, Julian
- Hammond, Lewis
- Harrenstein, Paul
- Kwiatkowska, Marta Z.
- Najib, Muhammad
- Perelli, Giuseppe
- Steeples, Thomas
- Wooldridge, Michael J.
- SpringerLink (Online service)
Other Objects (12)
Game-theoretic learning and distributed optimization in memoryless multi-agent systems
Multi-Agent Safety Verification using Symmetry Transformations
Bitcoin: a game-theoretic analysis
Rational actors in balancing markets: a game-theoretic model and results
Rational Actors in Balancing Markets: a Game-Theoretic Model and Results
Modelling and verification of reconfigurable multi-agent systems
Hybrid multi-agent systems: modeling, specification and verification
Virtual integration : a game-theoretic approach
Petty corruption: A game-theoretic approach
Game-theoretic foundations of monetary equilibrium
Virtual integration: A game-theoretic approach
Game-theoretic foundations of monetary equilibrium
Game-theoretic learning and distributed optimization in memoryless multi-agent systems
Multi-Agent Safety Verification using Symmetry Transformations
Bitcoin: a game-theoretic analysis
Rational actors in balancing markets: a game-theoretic model and results
Rational Actors in Balancing Markets: a Game-Theoretic Model and Results
Modelling and verification of reconfigurable multi-agent systems
Hybrid multi-agent systems: modeling, specification and verification
Virtual integration : a game-theoretic approach
Petty corruption: A game-theoretic approach
Game-theoretic foundations of monetary equilibrium
Virtual integration: A game-theoretic approach
Game-theoretic foundations of monetary equilibrium
Game-theoretic learning and distributed optimization in memoryless multi-agent systems
Multi-Agent Safety Verification using Symmetry Transformations
Bitcoin: a game-theoretic analysis
Rational actors in balancing markets: a game-theoretic model and results
Rational Actors in Balancing Markets: a Game-Theoretic Model and Results
Modelling and verification of reconfigurable multi-agent systems
Hybrid multi-agent systems: modeling, specification and verification
Virtual integration : a game-theoretic approach
Petty corruption: A game-theoretic approach
Game-theoretic foundations of monetary equilibrium
Virtual integration: A game-theoretic approach