MURANO, ANIELLO
MURANO, ANIELLO
DIPARTIMENTO DI INGEGNERIA INFORMATICA, AUTOMATICA E GESTIONALE -ANTONIO RUBERTI-
Mostra
prodotti
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.006 secondi).
Playing Quantitative Games Against an Authority: On the Module Checking Problem
2024 Jamroga, Wojchiech; Mittelmann, Munyque; Murano, Aniello; Perelli, Giuseppe
Reasoning about Quality and Fuzziness of Strategic Behaviors
2023 Bouyer, Patricia; Kupferman, Orna; Markey, Nicolas; Maubert, Bastien; Murano, Aniello; Perelli, Giuseppe
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Playing Quantitative Games Against an Authority: On the Module Checking Problem | 2024 | Jamroga, Wojchiech; Mittelmann, Munyque; Murano, Aniello; Perelli, Giuseppe | |
Reasoning about Quality and Fuzziness of Strategic Behaviors | 2023 | Bouyer, Patricia; Kupferman, Orna; Markey, Nicolas; Maubert, Bastien; Murano, Aniello; Perelli, Giuseppe |