Verification of Stochastic Multi-Agent Systems with Forgetful Strategies / Belardinelli, Francesco; Jamroga, Wojtek; Mittelmann, Munyque; Murano, Aniello. - (2024), pp. 160-169. (Intervento presentato al convegno 23rd International Conference on Autonomous Agents and Multiagent Systems (AAMAS)) [10.5555/3635637.3662863].
Verification of Stochastic Multi-Agent Systems with Forgetful Strategies
Munyque Mittelmann
;Aniello Murano
2024
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
p160.pdf
accesso aperto
Tipologia:
Versione Editoriale (PDF)
Licenza:
Copyright dell'editore
Dimensione
1.21 MB
Formato
Adobe PDF
|
1.21 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.


