MALVONE, VADIM
MALVONE, VADIM
DIPARTIMENTO DI MATEMATICA E APPLICAZIONI "RENATO CACCIOPPOLI"
Games with additional winning strategies
2015 Malvone, Vadim; Murano, Aniello; Sorrentino, Loredana
Extended graded modalities in strategy logic
2016 Aminof, Benjamin; Malvone, Vadim; Murano, Aniello; Rubin, Sasha
On the Counting of Strategies
2015 Malvone, Vadim; Mogavero, Fabio; Murano, Aniello; Sorrentino, Loredana
Hiding actions in concurrent games
2016 Malvone, Vadim; Murano, Aniello; Sorrentino, Loredana
Additional Winning Strategies in Two-Player Games
2016 Malvone, Vadim; Murano, Aniello
Concurrent Multi-Player Parity Games
2016 Malvone, Vadim; Murano, Aniello; Sorrentino, Loredana
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
NWin: A Tool for Counting Winning Strategies (Demonstration)
2016 Malvone, Vadim; Murano, Aniello; Tafuto, Marco
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
Additional Winning Strategies in Reachability Games
2018 Malvone, Vadim; Murano, Aniello; Sorrentino, Loredana
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.
Dynamic Escape Game
2018 Di Stasio, Antonio; Lambiase, PAOLO DOMENICO; Malvone, Vadim; Murano, Aniello
Graded Strategy Logic: Reasoning about Uniqueness of Nash Equilibria
2016 Aminof, Benjamin; Malvone, Vadim; Murano, Aniello; Rubin, Sasha
Graded modalities in Strategy Logic
2018 Aminof, Benjamin; Malvone, Vadim; Murano, Aniello; Rubin, Sasha
Natural strategic ability
2019 Jamroga, W.; Malvone, V.; Murano, A.
Hiding actions in multi-player games
2017 Malvone, V.; Murano, A.; Sorrentino, L.
Reasoning about natural strategic ability
2017 Jamroga, W.; Malvone, V.; Murano, A.
Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions
2022 Belardinelli, F.; Jamroga, W.; Malvone, V.; Mittelmann, M.; Murano, A.; Perrussel, L.
Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
---|---|---|---|---|
Games with additional winning strategies | 4.1 Articoli in Atti di convegno | 2015 | 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 | |
On the Counting of Strategies | 4.1 Articoli in Atti di convegno | 2015 | Malvone, Vadim; Mogavero, Fabio; Murano, Aniello; Sorrentino, Loredana | |
Hiding actions in concurrent 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 | |
Concurrent Multi-Player Parity Games | 4.1 Articoli in Atti di convegno | 2016 | Malvone, Vadim; Murano, Aniello; Sorrentino, Loredana | |
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 | |
NWin: A Tool for Counting Winning Strategies (Demonstration) | 4.1 Articoli in Atti di convegno | 2016 | Malvone, Vadim; Murano, Aniello; Tafuto, Marco | |
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 | |
Additional Winning Strategies in Reachability Games | 1.1 Articolo in rivista | 2018 | Malvone, Vadim; Murano, Aniello; Sorrentino, Loredana | |
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. | |
Dynamic Escape Game | 4.1 Articoli in Atti di convegno | 2018 | Di Stasio, Antonio; Lambiase, PAOLO DOMENICO; Malvone, Vadim; Murano, Aniello | |
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 | |
Graded modalities in Strategy Logic | 1.1 Articolo in rivista | 2018 | Aminof, Benjamin; Malvone, Vadim; Murano, Aniello; Rubin, Sasha | |
Natural strategic ability | 1.1 Articolo in rivista | 2019 | 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 natural strategic ability | 4.1 Articoli in Atti di convegno | 2017 | Jamroga, W.; Malvone, V.; Murano, A. | |
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. |