Playing Quantitative Games Against an Authority: On the Module Checking Problem / Jamroga, Wojciech; Mittelmann, Munyque; Murano, Aniello; Perelli, Giuseppe. - (2024), pp. 926-934. (Intervento presentato al convegno 23rd International Conference on Autonomous Agents and Multiagent Systems (AAMAS)) [10.5555/3635637.3662947].
Playing Quantitative Games Against an Authority: On the Module Checking Problem
Wojciech Jamroga;Munyque Mittelmann
;Aniello Murano;Giuseppe Perelli
2024
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
p926.pdf
accesso aperto
Tipologia:
Versione Editoriale (PDF)
Licenza:
Copyright dell'editore
Dimensione
1.24 MB
Formato
Adobe PDF
|
1.24 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.


