Segui
Vadim Malvone
Vadim Malvone
TÚlÚcom Paris
Email verificata su telecom-paris.fr - Home page
Titolo
Citata da
Citata da
Anno
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
322019
Natural strategic ability
W Jamroga, V Malvone, A Murano
Artificial Intelligence 277, 103170, 2019
312019
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
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
232022
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
222023
Natural strategic ability under imperfect information
W Jamroga, V Malvone, A Murano
Proceedings of the 18th International Conference on Autonomous Agents andá…, 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
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
Towards the verification of strategic properties in multi-agent systems with imperfect information
A Ferrando, V Malvone
arXiv preprint arXiv:2112.13621, 2021
162021
Reasoning about graded strategy quantifiers
V Malvone, F Mogavero, A Murano, L Sorrentino
Information and Computation 259, 390-411, 2018
162018
Concurrent multi-player parity games
V Malvone, A Murano, L Sorrentino
Proceedings of the 2016 International Conference on Autonomous Agentsá…, 2016
152016
Hiding actions in multi-player games
V Malvone, A Murano, L Sorrentino
Proceedings of the 16th Conference on Autonomous Agents and MultiAgentá…, 2017
142017
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
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
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20