Get started
Author

Vadim Malvone

Natural strategic ability
2019 · Wojciech Jamroga, Vadim Malvone, et al. · Artificial Intelligence · 29
Strategy Logic with Simple Goals: Tractable Reasoning about Strategies
2019 · Francesco Belardinelli, Wojciech Jamroga, et al. · International Joint Conference on Artificial Intelligence · 25
PDF
Graded modalities in Strategy Logic
2018 · Benjamin Aminof, Vadim Malvone, et al. · Information and Computation · 25
PDF
Graded Strategy Logic: Reasoning about Uniqueness of Nash Equilibria
2016 · Benjamin Aminof, Vadim Malvone, et al. · Adaptive Agents and Multi-Agents Systems · 20
Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications
2022 · Francesco Belardinelli, Alessio Lomuscio, et al. · Journal of Artificial Intelligence Research · 19
PDF
An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information
2023 · Francesco Belardinelli, Angelo Ferrando, et al. · Artificial Intelligence · 18
PDF
An Abstraction-Based Method for Verifying Strategic Properties in Multi-Agent Systems with Imperfect Information
2019 · Francesco Belardinelli, Alessio Lomuscio, et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 16
Towards the Combination of Model Checking and Runtime Verification on Multi-agent Systems
2022 · Angelo Ferrando, Vadim Malvone · Lecture notes in computer science · 15
PDF
Natural Strategic Ability under Imperfect Information
2019 · Wojciech Jamroga, Vadim Malvone, et al. · Adaptive Agents and Multi-Agents Systems · 14
PDF
Reasoning about Natural Strategic Ability
2017 · Wojciech Jamroga, Vadim Malvone, et al. · Adaptive Agents and Multi-Agents Systems · 14
Games with additional winning strategies.
2015 · Vadim Malvone, Aniello Murano, et al. · 13
VITAMIN: A Compositional Framework for Model Checking of Multi-Agent Systems
2025 · Angelo Ferrando, Vadim Malvone · International Conference on Agents and Artificial Intelligence (ICAART) · 12
Solvent: Liquidity Verification of Smart Contracts
2024 · Massimo Bartoletti, Angelo Ferrando, et al. · Lecture notes in computer science · 12
PDF
Approximating Perfect Recall When Model Checking Strategic Abilities.
2018 · Francesco Belardinelli, Alessio Lomuscio, et al. · Principles of Knowledge Representation and Reasoning · 11
Concurrent Multi-Player Parity Games
2016 · Vadim Malvone, Aniello Murano, et al. · Adaptive Agents and Multi-Agents Systems · 10
Natural Strategic Abilities in Voting Protocols
2021 · Wojciech Jamroga, Damian Kurpiewski, et al. · Lecture notes in computer science · 9
PDF
A Three-valued Approach to Strategic Abilities under Imperfect Information
2020 · Francesco Belardinelli, Vadim Malvone · Principles of Knowledge Representation and Reasoning · 9
PDF
On the Counting of Strategies
2015 · Vadim Malvone, Fabio Mogavero, et al. · International Symposium on Temporal Representation and Reasoning · 9
Multi-Agent Systems
2023 · Vadim Malvone, Aniello Murano · Lecture notes in computer science · 8
Runtime Verification with Imperfect Information Through Indistinguishability Relations
2022 · Angelo Ferrando, Vadim Malvone · Lecture notes in computer science · 8
Reasoning about graded strategy quantifiers
2017 · Vadim Malvone, Fabio Mogavero, et al. · Information and Computation · 8
Theory and Practice of Quantitative ATL
2024 · Angelo Ferrando, Giulia Luongo, et al. · Lecture notes in computer science · 7
Obstruction Alternating-time Temporal Logic: A Strategic Logic to Reason about Dynamic Models
2024 · Davide Catta, Jean Leneutre, et al. · Adaptive Agents and Multi-Agents Systems · 7
Obstruction Logic: A Strategic Temporal Logic to Reason About Dynamic Game Models
2023 · Davide Catta, Jean Leneutre, et al. · Frontiers in artificial intelligence and applications · 7
PDF
Reasoning about Moving Target Defense in Attack Modeling Formalisms
2022 · Gabriel Ballot, Vadim Malvone, et al. · ACM Workshop on Moving Target Defense (MTD) · 7
PDF
Works count: 128
Citation count: 447
H-index: 12
I10-index: 15
Year
Topic
Type