Vadim Malvone
Vadim Malvone
Télécom Paris
Verifierad e-postadress på unina.it - Startsida
Titel
Citeras av
Citeras av
År
Graded strategy logic: Reasoning about uniqueness of nash equilibria
B Aminof, V Malvone, A Murano, S Rubin
Proceedings of the 2016 International Conference on Autonomous Agents …, 2016
222016
Graded modalities in strategy logic
B Aminof, V Malvone, A Murano, S Rubin
Information and Computation 261, 634-649, 2018
182018
Games with additional winning strategies.
V Malvone, A Murano, L Sorrentino
CILC 15, 1-6, 2015
162015
Reasoning about natural strategic ability
W Jamroga, V Malvone, A Murano
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent …, 2017
152017
Reasoning about graded strategy quantifiers
V Malvone, F Mogavero, A Murano, L Sorrentino
Information and Computation 259, 390-411, 2018
112018
Hiding actions in multi-player games
V Malvone, A Murano, L Sorrentino
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent …, 2017
112017
On the counting of strategies
V Malvone, F Mogavero, A Murano, L Sorrentino
2015 22nd International Symposium on Temporal Representation and Reasoning …, 2015
112015
Concurrent multi-player parity games
V Malvone, A Murano, L Sorrentino
Proceedings of the 2016 International Conference on Autonomous Agents …, 2016
102016
Approximating Perfect Recall When Model Checking Strategic Abilities.
F Belardinelli, A Lomuscio, V Malvone
KR 18, 435-444, 2018
82018
Additional winning strategies in reachability games
V Malvone, A Murano, L Sorrentino
Fundamenta Informaticae 159 (1-2), 175-195, 2018
72018
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
62019
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
52019
Hiding actions in concurrent games
V Malvone, A Murano, L Sorrentino
Proceedings of the Twenty-second European Conference on Artificial …, 2016
52016
Natural strategic ability under imperfect information
W Jamroga, V Malvone, A Murano
Proceedings of the 18th International Conference on Autonomous Agents and …, 2019
42019
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
42019
Extended graded modalities in strategy logic
B Aminof, V Malvone, A Murano, S Rubin
arXiv preprint arXiv:1607.03354, 2016
42016
Natural strategic ability
W Jamroga, V Malvone, A Murano
Artificial Intelligence 277, 103170, 2019
22019
Additional Winning Strategies in Two-Player Games.
V Malvone, A Murano
ICTCS, 251-256, 2016
22016
A Three-valued Approach to Strategic Abilities under Imperfect Information
F Belardinelli, V Malvone
Proceedings of the International Conference on Principles of Knowledge …, 2020
12020
Decidable verification of agent-based data-aware systems
F Belardinelli, V Malvone
International Conference on Principles and Practice of Multi-Agent Systems …, 2019
12019
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20