Sfoglia per Autore
Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions
2022 Belardinelli, F.; Jamroga, W.; Malvone, V.; Mittelmann, M.; Murano, A.; Perrussel, L.
Natural strategic ability under imperfect information
2019 Jamroga, W.; Malvone, V.; Murano, A.
Strategy logic with simple goals: Tractable reasoning about strategies
2019 Belardinelli, F.; Jamroga, W.; Kurpiewski, D.; Malvone, V.; Murano, A.
Natural strategic ability
2019 Jamroga, W.; Malvone, V.; Murano, A.
Additional Winning Strategies in Reachability Games
2018 Malvone, Vadim; Murano, Aniello; Sorrentino, Loredana
Dynamic Escape Game
2018 Di Stasio, Antonio; Lambiase, PAOLO DOMENICO; Malvone, Vadim; Murano, Aniello
Graded modalities in Strategy Logic
2018 Aminof, Benjamin; Malvone, Vadim; Murano, Aniello; Rubin, Sasha
Reasoning about natural strategic ability
2017 Jamroga, W.; Malvone, V.; Murano, A.
Hiding actions in multi-player games
2017 Malvone, V.; Murano, A.; Sorrentino, L.
Reasoning about graded strategy quantifiers
2017 Malvone, Vadim; Mogavero, Fabio; Murano, Aniello; Sorrentino, Loredana
Reasoning About Additional Winning Strategies in Two-Player Games
2017 Malvone, Vadim; Murano, Aniello
Laboratorio ASTREA - Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione - Università degli Studi di Napoli Federico II
2016 Murano, Aniello; Rubin, Sasha; Sorrentino, Loredana; Maubert, Bastien; DELLA MONICA, Dario; Malvone, Vadim; Arcucci, Rossella; Di Stasio, Antonio
Concurrent Multi-Player Parity Games
2016 Malvone, Vadim; Murano, Aniello; Sorrentino, Loredana
Additional Winning Strategies in Two-Player Games
2016 Malvone, Vadim; Murano, Aniello
NWin: A Tool for Counting Winning Strategies (Demonstration)
2016 Malvone, Vadim; Murano, Aniello; Tafuto, Marco
Hiding actions in concurrent games
2016 Malvone, Vadim; Murano, Aniello; Sorrentino, Loredana
Extended graded modalities in strategy logic
2016 Aminof, Benjamin; Malvone, Vadim; Murano, Aniello; Rubin, Sasha
Graded Strategy Logic: Reasoning about Uniqueness of Nash Equilibria
2016 Aminof, Benjamin; Malvone, Vadim; Murano, Aniello; Rubin, Sasha
On the Counting of Strategies
2015 Malvone, Vadim; Mogavero, Fabio; Murano, Aniello; Sorrentino, Loredana
Games with additional winning strategies
2015 Malvone, Vadim; Murano, Aniello; Sorrentino, Loredana
| Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|---|
| Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions | 4.1 Articoli in Atti di convegno | 2022 | Belardinelli, F.; Jamroga, W.; Malvone, V.; Mittelmann, M.; Murano, A.; Perrussel, L. | |
| Natural strategic ability under imperfect information | 4.1 Articoli in Atti di convegno | 2019 | Jamroga, W.; Malvone, V.; Murano, A. | |
| Strategy logic with simple goals: Tractable reasoning about strategies | 4.1 Articoli in Atti di convegno | 2019 | Belardinelli, F.; Jamroga, W.; Kurpiewski, D.; Malvone, V.; Murano, A. | |
| Natural strategic ability | 1.1 Articolo in rivista | 2019 | Jamroga, W.; Malvone, V.; Murano, A. | |
| Additional Winning Strategies in Reachability Games | 1.1 Articolo in rivista | 2018 | Malvone, Vadim; Murano, Aniello; Sorrentino, Loredana | |
| Dynamic Escape Game | 4.1 Articoli in Atti di convegno | 2018 | Di Stasio, Antonio; Lambiase, PAOLO DOMENICO; Malvone, Vadim; Murano, Aniello | |
| Graded modalities in Strategy Logic | 1.1 Articolo in rivista | 2018 | Aminof, Benjamin; Malvone, Vadim; Murano, Aniello; Rubin, Sasha | |
| Reasoning about natural strategic ability | 4.1 Articoli in Atti di convegno | 2017 | Jamroga, W.; Malvone, V.; Murano, A. | |
| Hiding actions in multi-player games | 4.1 Articoli in Atti di convegno | 2017 | Malvone, V.; Murano, A.; Sorrentino, L. | |
| Reasoning about graded strategy quantifiers | 1.1 Articolo in rivista | 2017 | Malvone, Vadim; Mogavero, Fabio; Murano, Aniello; Sorrentino, Loredana | |
| Reasoning About Additional Winning Strategies in Two-Player Games | 4.1 Articoli in Atti di convegno | 2017 | Malvone, Vadim; Murano, Aniello | |
| Laboratorio ASTREA - Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione - Università degli Studi di Napoli Federico II | 8.05 Partecip. Consigli Scientifici/Direttivi | 2016 | Murano, Aniello; Rubin, Sasha; Sorrentino, Loredana; Maubert, Bastien; DELLA MONICA, Dario; Malvone, Vadim; Arcucci, Rossella; Di Stasio, Antonio | |
| Concurrent Multi-Player Parity Games | 4.1 Articoli in Atti di convegno | 2016 | Malvone, Vadim; Murano, Aniello; Sorrentino, Loredana | |
| Additional Winning Strategies in Two-Player Games | 4.1 Articoli in Atti di convegno | 2016 | Malvone, Vadim; Murano, Aniello | |
| NWin: A Tool for Counting Winning Strategies (Demonstration) | 4.1 Articoli in Atti di convegno | 2016 | Malvone, Vadim; Murano, Aniello; Tafuto, Marco | |
| Hiding actions in concurrent games | 4.1 Articoli in Atti di convegno | 2016 | Malvone, Vadim; Murano, Aniello; Sorrentino, Loredana | |
| Extended graded modalities in strategy logic | 4.1 Articoli in Atti di convegno | 2016 | Aminof, Benjamin; Malvone, Vadim; Murano, Aniello; Rubin, Sasha | |
| Graded Strategy Logic: Reasoning about Uniqueness of Nash Equilibria | 4.1 Articoli in Atti di convegno | 2016 | Aminof, Benjamin; Malvone, Vadim; Murano, Aniello; Rubin, Sasha | |
| On the Counting of Strategies | 4.1 Articoli in Atti di convegno | 2015 | Malvone, Vadim; Mogavero, Fabio; Murano, Aniello; Sorrentino, Loredana | |
| Games with additional winning strategies | 4.1 Articoli in Atti di convegno | 2015 | Malvone, Vadim; Murano, Aniello; Sorrentino, Loredana |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile