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
352018
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
322019
Graded Strategy Logic: Reasoning about Uniqueness of Nash Equilibria.
B Aminof, V Malvone, A Murano, S Rubin
AAMAS 16, 698-706, 2016
302016
Natural strategic ability
W Jamroga, V Malvone, A Murano
Artificial Intelligence 277, 103170, 2019
292019
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
282019
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
202022
Natural strategic ability under imperfect information
W Jamroga, V Malvone, A Murano
Proceedings of the 18th International Conference on Autonomous Agents and …, 2019
202019
Approximating perfect recall when model checking strategic abilities
F Belardinelli, A Lomuscio, V Malvone
Sixteenth International Conference on Principles of Knowledge Representation …, 2018
202018
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
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
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
152023
Reasoning about graded strategy quantifiers
V Malvone, F Mogavero, A Murano, L Sorrentino
Information and Computation 259, 390-411, 2018
152018
Concurrent multi-player parity games
V Malvone, A Murano, L Sorrentino
Proceedings of the 2016 International Conference on Autonomous Agents …, 2016
152016
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
132022
Towards the verification of strategic properties in multi-agent systems with imperfect information
A Ferrando, V Malvone
arXiv preprint arXiv:2112.13621, 2021
132021
Hiding actions in multi-player games
V Malvone, A Murano, L Sorrentino
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent …, 2017
132017
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
122022
Strategy RV: A Tool to Approximate ATL Model Checking under Imperfect Information and Perfect Recall
A Ferrando, V Malvone
122021
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
122020
The system can't perform the operation now. Try again later.
Articles 1–20