Follow
Vadim Malvone
Vadim Malvone
Télécom Paris
Verified email at telecom-paris.fr - Homepage
Title
Cited by
Cited by
Year
Graded Strategy Logic: Reasoning about Uniqueness of Nash Equilibria.
B Aminof, V Malvone, A Murano, S Rubin
AAMAS 16, 698-706, 2016
282016
Graded modalities in strategy logic
B Aminof, V Malvone, A Murano, S Rubin
Information and Computation 261, 634-649, 2018
232018
Natural strategic ability
W Jamroga, V Malvone, A Murano
Artificial Intelligence 277, 103170, 2019
192019
Reasoning about natural strategic ability
W Jamroga, V Malvone, A Murano
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent …, 2017
182017
Games with additional winning strategies.
V Malvone, A Murano, L Sorrentino
CILC 15, 1-6, 2015
172015
Strategy logic with simple goals: Tractable reasoning about strategies
F Belardinelli, W Jamroga, V Malvone, A Murano
28th International Joint Conference on Artificial Intelligence (IJCAI 2019 …, 2019
162019
An abstraction-based method for verifying strategic properties in multi-agent systems with imperfect information
F Belardinelli, A Lomuscio, V Malvone
Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 6030-6037, 2019
142019
Approximating perfect recall when model checking strategic abilities
F Belardinelli, A Lomuscio, V Malvone
Sixteenth International Conference on Principles of Knowledge Representation …, 2018
142018
Reasoning about graded strategy quantifiers
V Malvone, F Mogavero, A Murano, L Sorrentino
Information and Computation 259, 390-411, 2018
122018
Hiding actions in multi-player games
V Malvone, A Murano, L Sorrentino
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent …, 2017
122017
Concurrent multi-player parity games
V Malvone, A Murano, L Sorrentino
Proceedings of the 2016 International Conference on Autonomous Agents …, 2016
122016
On the counting of strategies
V Malvone, F Mogavero, A Murano, L Sorrentino
2015 22nd International Symposium on Temporal Representation and Reasoning …, 2015
112015
Natural strategic ability under imperfect information
W Jamroga, V Malvone, A Murano
Proceedings of the 18th International Conference on Autonomous Agents and …, 2019
102019
Natural strategic abilities in voting protocols
W Jamroga, D Kurpiewski, V Malvone
Socio-Technical Aspects in Security and Trust: 10th International Workshop …, 2021
72021
Additional winning strategies in reachability games
V Malvone, A Murano, L Sorrentino
Fundamenta Informaticae 159 (1-2), 175-195, 2018
72018
A three-valued approach to strategic abilities under imperfect information
F Belardinelli, V Malvone
17th International Conference on Principles of Knowledge Representation and …, 2020
62020
Verifying Strategic Abilities in Multi-agent Systems with Private-Data Sharing
F Belardinelli, I Boureanu, C Dima, V Malvone
Proc. of the 18th International Conference on Autonomous Agents and …, 2019
52019
Hiding actions in concurrent games
V Malvone, A Murano, L Sorrentino
Proceedings of the Twenty-second European Conference on Artificial …, 2016
52016
Strategy RV: A Tool to Approximate ATL Model Checking under Imperfect Information and Perfect Recall
A Ferrando, V Malvone
42021
Extended graded modalities in strategy logic
B Aminof, V Malvone, A Murano, S Rubin
arXiv preprint arXiv:1607.03354, 2016
42016
The system can't perform the operation now. Try again later.
Articles 1–20