Vadim Malvone

45
Documents

Présentation

Publications

Publications

Attack Graphs & Subset Sabotage Games

Davide Catta , Jean Leneutre , Vadim Malvone
Intelligenza Artificiale, 2023, 17 (1), pp.77-88. ⟨10.3233/IA-221080⟩
Article dans une revue hal-04336220 v1
Image document

An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information

Francesco Belardinelli , Angelo Ferrando , Vadim Malvone
Artificial Intelligence, 2023, 316, pp.103847. ⟨10.1016/j.artint.2022.103847⟩
Article dans une revue hal-03960910 v1

Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications

Francesco Belardinelli , Alessio Lomuscio , Vadim Malvone , Emily Yu
Journal of Artificial Intelligence Research, 2022, 73, pp.897-932. ⟨10.1613/jair.1.12539⟩
Article dans une revue hal-03779030 v1

How to measure usable security: Natural strategies in voting protocols1

Wojciech Jamroga , Damian Kurpiewski , Vadim Malvone
Journal of Computer Security, 2022, 30 (3), pp.381-409. ⟨10.3233/JCS-210049⟩
Article dans une revue hal-03779032 v1
Image document

Natural strategic ability

Wojciech Jamroga , Vadim Malvone , Aniello Murano
Artificial Intelligence, 2019, 277, pp.103170. ⟨10.1016/j.artint.2019.103170⟩
Article dans une revue hal-03779038 v1

Graded modalities in Strategy Logic

Benjamin Aminof , Vadim Malvone , Aniello Murano , Sasha Rubin
Information and Computation, 2018, 261, pp.634-649. ⟨10.1016/j.ic.2018.02.022⟩
Article dans une revue hal-03779046 v1

Reasoning about graded strategy quantifiers

Vadim Malvone , Fabio Mogavero , Aniello Murano , Loredana Sorrentino
Information and Computation, 2018, 259, pp.390-411. ⟨10.1016/j.ic.2017.08.010⟩
Article dans une revue hal-03779045 v1

Additional Winning Strategies in Reachability Games*†

Vadim Malvone , Aniello Murano , Loredana Sorrentino
Fundamenta Informaticae, 2018, 159 (1-2), pp.175--195. ⟨10.3233/FI-2018-1662⟩
Article dans une revue hal-03779041 v1

Extended Graded Modalities in Strategy Logic

Benjamin Aminof , Vadim Malvone , Aniello Murano , Sasha Rubin
Electronic Proceedings in Theoretical Computer Science, 2016, 218, pp.1-14. ⟨10.4204/EPTCS.218.1⟩
Article dans une revue hal-03779061 v1

Strategic Reasoning under Capacity-constrained Agents

Gabriel Ballot , Vadim Malvone , Jean Leneutre , Youssef Laarouchi
23rd International Conference on Autonomous Agents and Multiagent Systems (AAMAS), May 2024, Auckland (Nouvelle Zelande), New Zealand. pp.123--131, ⟨10.5555/3635637.3662859⟩
Communication dans un congrès hal-04580662 v1

Obstruction Alternating-time Temporal Logic: A Strategic Logic to Reason about Dynamic Models

Davide Catta , Jean Leneutre , Vadim Malvone , Aniello Murano
23rd International Conference on Autonomous Agents and Multiagent Systems (AAMAS), May 2024, Auckland (Nouvelle Zelande), New Zealand. ⟨10.5555/3635637.3662875⟩
Communication dans un congrès hal-04580667 v1

A Formal Verification Approach to Handle Attack Graphs

Davide Catta , Jean Leneutre , Antonina Mijatovic , Johanna Ulin , Vadim Malvone
16th International Conference on Agents and Artificial Intelligence, Feb 2024, Rome, Italy. pp.125-132, ⟨10.5220/0012310000003636⟩
Communication dans un congrès hal-04580655 v1

How to Find Good Coalitions to Achieve Strategic Objectives

Angelo Ferrando , Vadim Malvone
15th International Conference on Agents and Artificial Intelligence, Feb 2023, Lisbon, Portugal. pp.105-113, ⟨10.5220/0011778700003393⟩
Communication dans un congrès hal-04336255 v1

Towards the Verification of Strategic Properties in Multi-Agent Systems with Imperfect Information

Angelo Ferrando , Vadim Malvone
AAMAS, May 2023, London, United Kingdom
Communication dans un congrès hal-04336296 v1

Program Semantics and Verification Technique for AI-Centred Programs

Fortunat Rajaona , Ioana Boureanu , Vadim Malvone , Francesco Belardinelli
FM 2023 : 25th International Symposium on Formal Methods, Formal Methods Europe (FME), Mar 2023, Lubeck, Germany. pp.473-491, ⟨10.1007/978-3-031-27481-7_27⟩
Communication dans un congrès hal-04336339 v1

Automatically Verifying Expressive Epistemic Properties of Programs

Francesco Belardinelli , Ioana Boureanu , Vadim Malvone , Fortunat Rajaona
The Thirty-Seventh AAAI Conference on Artificial Intelligence, Feb 2023, Washington, United States. pp.6245-6252, ⟨10.1609/AAAI.V37I5.25769⟩
Communication dans un congrès hal-04336236 v1

Reasoning about Intuitionistic Computation Tree Logic

Davide Catta , Aniello Murano , Vadim Malvone
AREA 2023, Sep 2023, Krakow (Cracovie), Poland. pp.42-48, ⟨10.4204/EPTCS.391.6⟩
Communication dans un congrès hal-04336273 v1

Obstruction Logic: A Strategic Temporal Logic to Reason About Dynamic Game Models

Davide Catta , Jean Leneutre , Vadim Malvone
ECAI, Sep 2023, Kracow, Poland. pp.365 - 372, ⟨10.3233/FAIA230292⟩
Communication dans un congrès hal-04336248 v1
Image document

A Game Theoretic Approach to Attack Graphs

Davide Catta , Antonio Di Stasio , Jean Leneutre , Vadim Malvone , Aniello Murano
ICAART 2023 - 15th International Conference on Agents and Artificial Intelligence, Feb 2023, Lisbon, Portugal. pp.347-354, ⟨10.5220/0011776900003393⟩
Communication dans un congrès hal-04336262 v1
Image document

Reasoning About Dynamic Game Models Using Obstruction Logic (short paper)

Davide Catta , Jean Leneutre , Vadim Malvone
IPS-RCRA-SPIRIT@AI*IA, Nov 2023, Rome, Italy
Communication dans un congrès hal-04427546 v1

The Impact of Strategies and Information in Model Checking for Multi-Agent Systems

Vadim Malvone
AREA 2023, Sep 2023, Krakow (Cracovie), Poland. pp.63-70, ⟨10.4204/EPTCS.391.8⟩
Communication dans un congrès hal-04336278 v1

Scalable Verification of Strategy Logic through Three-Valued Abstraction

Francesco Belardinelli , Angelo Ferrando , Wojciech Jamroga , Vadim Malvone , Aniello Murano
Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23}, Aug 2023, Macau, China. pp.46-54, ⟨10.24963/IJCAI.2023/6⟩
Communication dans un congrès hal-04336265 v1
Image document

Towards a Formal Verification of Attack Graphs

Davide Catta , Jean Leneutre , Vadim Malvone
SPIRIT 2022 - Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy, Nov 2022, Udine, Italy
Communication dans un congrès hal-04336392 v1

Towards the Combination of Model Checking and Runtime Verification on Multi-agent Systems

Angelo Ferrando , Vadim Malvone
PAAMS, Jul 2022, L'aquila, Italy
Communication dans un congrès hal-04336322 v1
Image document

Subset sabotage games & attack graphs

Davide Catta , Jean Leneutre , Vadim Malvone
WOA 2022 - 23rd Workshop From Objects to Agents, Sep 2022, Genova, Italy
Communication dans un congrès hal-04336385 v1

Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions

Francesco Belardinelli , Wojciech Jamroga , Vadim Malvone , Munyque Mittelmann , Aniello Murano et al.
21st International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2022), International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), May 2022, Auckland (virtual), New Zealand. pp.62--71
Communication dans un congrès hal-03666430 v1

Reasoning about Moving Target Defense in Attack Modeling Formalisms

Gabriel Ballot , Vadim Malvone , Jean Leneutre , Etienne Borde
MTD'22: Proceedings of the 9th ACM Workshop on Moving Target Defense, Nov 2022, Los Angeles CA USA, United States. pp.55-65, ⟨10.1145/3560828.3564009⟩
Communication dans un congrès hal-04336316 v1

Give Me a Hand: How to Use Model Checking for Multi-Agent Systems to Help Runtime Verification and Vice Versa

Angelo Ferrando , Vadim Malvone
SPIRIT, Nov 2022, Udine, Italy
Communication dans un congrès hal-04336398 v1

Runtime Verification with Imperfect Information Through Indistinguishability Relations

Angelo Ferrando , Vadim Malvone
SEFM 2022: 20th International Conference on Software Engineering and Formal Methods, Institute of Computer Science of Humboldt University Berlin (DE); School of Electronic and Information Engineering of Beijing Jiaotong University (CN), Sep 2022, Berlin, Germany. pp.335-351, ⟨10.1007/978-3-031-17108-6_21⟩
Communication dans un congrès hal-04336329 v1
Image document

Enabling Markovian Representations under Imperfect Information

Francesco Belardinelli , Borja G. León , Vadim Malvone
14th International Conference on Agents and Artificial Intelligence (ICAART 2022), Feb 2022, Online Streaming, France. pp.450-457, ⟨10.5220/0010882200003116⟩
Communication dans un congrès hal-03779034 v1

Towards a Model Checking Tool for Strategy Logic with Simple Goals

Vadim Malvone , Silvia Stranieri
ICTCS, Sep 2021, Bologna, Italy
Communication dans un congrès hal-04336416 v1

Strategy RV: A Tool to Approximate ATL Model Checking under Imperfect Information and Perfect Recall

Angelo Ferrando , Vadim Malvone
AAMAS, May 2021, Online, United Kingdom
Communication dans un congrès hal-04336405 v1

Combine Model Checking and Runtime Verification in Multi-Agent Systems

Angelo Ferrando , Vadim Malvone
ICTCS, Sep 2021, Bologna, Italy
Communication dans un congrès hal-04336413 v1

A Hennessy-Milner Theorem for ATL with Imperfect Information

Francesco Belardinelli , Catalin Dima , Vadim Malvone , Ferucio Tiplea
35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020), Jul 2020, Saarbrücken, Germany. pp.181--194, ⟨10.1145/3373718.3394784⟩
Communication dans un congrès hal-02867538 v1
Image document

A Three-valued Approach to Strategic Abilities under Imperfect Information

Francesco Belardinelli , Vadim Malvone
17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Sep 2020, Rhodes, Greece
Communication dans un congrès hal-03170197 v1
Image document

Verifying Strategic Abilities in Multi-agent Systems via First-order Entailment

Francesco Belardinelli , Vadim Malvone
24th European Conference on Artificial Intelligence (ECAI 2020), Aug 2020, Santiago de Compostela, Spain
Communication dans un congrès hal-03170192 v1
Image document

Strategy logic with simple goals: Tractable reasoning about strategies

Francesco Belardinelli , Wojciech Jamroga , Vadim Malvone , Aniello Murano
28th International Joint Conference on Artificial Intelligence (IJCAI 2019), Aug 2019, Macao, China. pp.88--94
Communication dans un congrès hal-02377403 v1

Decidable Verification of Agent-Based Data-Aware Systems

Francesco Belardinelli , Vadim Malvone
Principles and Practice of Multi-Agent Systems (PRIMA 2019), Oct 2019, Torino, Italy. pp.52--68, ⟨10.1007/978-3-030-33792-6_4⟩
Communication dans un congrès hal-02422205 v1
Image document

Verifying Strategic Abilities in Multi-agent Systems with Private-Data Sharing

Francesco Belardinelli , Ioana Boureanu , Catalin Dima , Vadim Malvone
Proceedings of the 18th International Conference on Autonomous Agents and Multi Agent Systems (AAMAS'19), May 2019, Montreal, France
Communication dans un congrès hal-04572109 v1

An Abstraction-Based Method for Verifying Strategic Properties in Multi-Agent Systems with Imperfect Information

Francesco Belardinelli , Alessio Lomuscio , Vadim Malvone
33rd AAAI Conference on Artificial Intelligence (AAAI 2019), Jan 2019, Hawai, United States. pp.6030--6037, ⟨10.1609/aaai.v33i01.33016030⟩
Communication dans un congrès hal-02377457 v1

Natural strategic ability under imperfect information

Wojciech Jamroga , Vadim Malvone , Aniello Murano
18th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2019), May 2019, Montreal, Canada. pp.962--970
Communication dans un congrès hal-02428208 v1

On the Counting of Strategies

Vadim Malvone , Fabio Mogavero , Aniello Murano , Loredana Sorrentino
2015 22nd International Symposium on Temporal Representation and Reasoning (TIME), Sep 2015, Kassel, Germany. pp.170-179, ⟨10.1109/TIME.2015.19⟩
Communication dans un congrès hal-03779058 v1

Natural Strategic Abilities in Voting Protocols

Wojciech Jamroga , Damian Kurpiewski , Vadim Malvone
Socio-Technical Aspects in Security and Trust, 12812, Springer International Publishing, pp.45-62, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-79318-0_3⟩
Chapitre d'ouvrage hal-03779036 v1

Reasoning About Additional Winning Strategies in Two-Player Games

Vadim Malvone , Aniello Murano
Multi-Agent Systems and Agreement Technologies, 10767, Springer International Publishing, pp.163--171, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-01713-2_12⟩
Chapitre d'ouvrage hal-03779065 v1