Titel

Merkliste
1 Ergebnisse

Rational verification:game-theoretic verification of multi-..:

Abate, Alessandro ; Gutierrez, Julian ; Hammond, Lewis...
Abate , A , Gutierrez , J , Hammond , L , Harrenstein , P , Kwiatkowska , M , Najib , M , Perelli , G , Steeples , T & Wooldridge , M 2021 , ' Rational verification : game-theoretic verification of multi-agent systems ' , Applied Intelligence , vol. 51 , no. 9 , pp. 6569-6584 . https://doi.org/10.1007/s10489-021-02658-y. , 2021

Link: https://research.monash.edu/en/publications/ac2dff62-7..

RT Journal
T1 <Title>Rational verification:game-theoretic verification of multi-agent systems</Title>

UL https://suche.suub.uni-bremen.de/peid=base-ftmonashunicris:oai:monash.edu:publications_ac2dff62-7abe-4422-8883-1c1aa7324866&Exemplar=1&LAN=DE
				
A1 Abate, Alessandro
A1 Gutierrez, Julian
A1 Hammond, Lewis
A1 Harrenstein, Paul
A1 Kwiatkowska, Marta
A1 Najib, Muhammad
A1 Perelli, Giuseppe
A1 Steeples, Thomas
A1 Wooldridge, Michael
YR 2021
K1 Automated synthesis
K1 Automated verification
K1 Game theory
K1 Model checking
K1 Multi-agent systems
JF Abate , A , Gutierrez , J , Hammond , L , Harrenstein , P , Kwiatkowska , M , Najib , M , Perelli , G , Steeples , T & Wooldridge , M 2021 , ' Rational verification : game-theoretic verification of multi-agent systems ' , Applied Intelligence , vol. 51 , no. 9 , pp. 6569-6584 . https://doi.org/10.1007/s10489-021-02658-y
LK http://dx.doi.org/https://research.monash.edu/en/publications/ac2dff62-7abe-4422-8883-1c1aa7324866
DO https://research.monash.edu/en/publications/ac2dff62-7abe-4422-8883-1c1aa7324866
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)