Follow
Vadim Malvone
Vadim Malvone
Télécom Paris
Verified email at telecom-paris.fr - Homepage
Title
Cited by
Cited by
Year
Graded modalities in strategy logic
B Aminof, V Malvone, A Murano, S Rubin
Information and Computation 261, 634-649, 2018
362018
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
342019
Natural strategic ability
W Jamroga, V Malvone, A Murano
Artificial Intelligence 277, 103170, 2019
302019
Graded Strategy Logic: Reasoning about Uniqueness of Nash Equilibria.
B Aminof, V Malvone, A Murano, S Rubin
AAMAS 16, 698-706, 2016
302016
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
292019
An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information
F Belardinelli, A Ferrando, V Malvone
Artificial Intelligence 316, 103847, 2023
242023
Approximating perfect recall when model checking strategic abilities: Theory and applications
F Belardinelli, A Lomuscio, V Malvone, E Yu
Journal of Artificial Intelligence Research 73, 897-932, 2022
242022
Natural strategic ability under imperfect information
W Jamroga, V Malvone, A Murano
18th International Conference on Autonomous Agents and Multiagent Systems …, 2019
222019
Approximating perfect recall when model checking strategic abilities
F Belardinelli, A Lomuscio, V Malvone
Sixteenth International Conference on Principles of Knowledge Representation …, 2018
222018
Games with additional winning strategies.
V Malvone, A Murano, L Sorrentino
CILC 15, 1-6, 2015
192015
Reasoning about natural strategic ability
W Jamroga, V Malvone, A Murano
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent …, 2017
182017
Towards the verification of strategic properties in multi-agent systems with imperfect information
A Ferrando, V Malvone
arXiv preprint arXiv:2112.13621, 2021
172021
A three-valued approach to strategic abilities under imperfect information
F Belardinelli, V Malvone
17th International Conference on Principles of Knowledge Representation and …, 2020
172020
Towards the combination of model checking and runtime verification on multi-agent systems
A Ferrando, V Malvone
International Conference on Practical Applications of Agents and Multi-Agent …, 2022
162022
Reasoning about graded strategy quantifiers
V Malvone, F Mogavero, A Murano, L Sorrentino
Information and Computation 259, 390-411, 2018
162018
Hiding actions in multi-player games
V Malvone, A Murano, L Sorrentino
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent …, 2017
142017
Concurrent Multi-Player Parity Games.
V Malvone, A Murano, L Sorrentino
AAMAS 16, 689-697, 2016
142016
Reasoning about human-friendly strategies in repeated keyword auctions
F Belardinelli, W Jamroga, V Malvone, M Mittelmann, A Murano, ...
arXiv preprint arXiv:2201.09616, 2022
132022
Natural strategic abilities in voting protocols
W Jamroga, D Kurpiewski, V Malvone
International Workshop on Socio-Technical Aspects in Security and Trust, 45-62, 2020
132020
Strategy RV: A Tool to Approximate ATL Model Checking under Imperfect Information and Perfect Recall
A Ferrando, V Malvone
122021
The system can't perform the operation now. Try again later.
Articles 1–20