MALVONE, VADIM

MALVONE, VADIM  

DIPARTIMENTO DI MATEMATICA E APPLICAZIONI "RENATO CACCIOPPOLI"  

Mostra records
Risultati 1 - 19 di 19 (tempo di esecuzione: 0.04 secondi).
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.