Access content directly

Vadim Malvone

42
Documents

Presentation

I am an Associate Professor in the Computer Science and Networks department (INFRES) of Télécom Paris . From November 2017 to June 2020, I was a postdoctoral researcher at the University of Evry under the supervision of Francesco Belardinelli. In February 2018, I obtained my Ph.D. in Computer Science at the University of Naples "Federico II", with a thesis titled "Strategic Reasoning in Game Theory", developed under the supervision of Aniello Murano. During my Ph.D. program, I was a visiting researcher at the Polish Academy of Sciences, under the supervision of Wojtek Jamroga. In July 2014, I obtained my Master's degree in Computer Science, with a thesis titled "Graded modalities in strategic reasoning", developed under the supervision of Aniello Murano and Fabio Mogavero. In December 2010, I obtained my Bachelor's degree in Computer Science, with a thesis titled "Implementazione di un algoritmo di verifica formale per programmi gerarchici nel tool Yasm" (Implementation of a formal verification algorithm for hierarchical programs in the Yasm tool), developed under the supervision of Aniello Murano. My research interests include: - Strategic reasoning and multi-agent systems; - Formal specification and verification of systems; - Temporal and strategic logics; - Games in theoretical computer science.

Publications

Attack Graphs & Subset Sabotage Games

Davide Catta , Jean Leneutre , Vadim Malvone
Intelligenza Artificiale, 2023, 17 (1), pp.77-88. ⟨10.3233/IA-221080⟩
Journal articles hal-04336220v1

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⟩
Journal articles hal-03960910v1

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⟩
Journal articles hal-03779030v1

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⟩
Journal articles hal-03779032v1

Natural strategic ability

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

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⟩
Journal articles hal-03779045v1

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⟩
Journal articles hal-03779041v1

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⟩
Journal articles hal-03779046v1

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⟩
Journal articles hal-03779061v1

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⟩
Conference papers hal-04336236v1

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⟩
Conference papers hal-04336265v1

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⟩
Conference papers hal-04336248v1
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⟩
Conference papers hal-04336262v1

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⟩
Conference papers hal-04336273v1
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
Conference papers hal-04427546v1

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⟩
Conference papers hal-04336278v1

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⟩
Conference papers hal-04336255v1

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

Angelo Ferrando , Vadim Malvone
AAMAS, May 2023, London, United Kingdom
Conference papers hal-04336296v1

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⟩
Conference papers hal-04336339v1
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
Conference papers hal-04336392v1

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⟩
Conference papers hal-03779034v1

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⟩
Conference papers hal-04336316v1

Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions

Francesco Belardinelli , Wojciech Jamroga , Vadim Malvone , Munyque Mittelmann , Aniello Murano
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
Conference papers hal-03666430v1

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⟩
Conference papers hal-04336329v1

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
Conference papers hal-04336398v1
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
Conference papers hal-04336385v1

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

Angelo Ferrando , Vadim Malvone
PAAMS, Jul 2022, L'aquila, Italy
Conference papers hal-04336322v1

Towards a Model Checking Tool for Strategy Logic with Simple Goals

Vadim Malvone , Silvia Stranieri
ICTCS, Sep 2021, Bologna, Italy
Conference papers hal-04336416v1

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
Conference papers hal-04336405v1

Combine Model Checking and Runtime Verification in Multi-Agent Systems

Angelo Ferrando , Vadim Malvone
ICTCS, Sep 2021, Bologna, Italy
Conference papers hal-04336413v1
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
Conference papers hal-03170192v1
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
Conference papers hal-03170197v1

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⟩
Conference papers hal-02867538v1

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⟩
Conference papers hal-02422205v1

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
Conference papers hal-02428208v1

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⟩
Conference papers hal-02377457v1

Verifying strategic abilities in multi-agent systems with private-data sharing

Francesco Belardinelli , Ioana Boureanu , Catalin Dima , Vadim Malvone
18th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2019), May 2019, Montreal, Canada. pp.1820--1822
Conference papers hal-02428214v1
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
Conference papers hal-02377403v1

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⟩
Conference papers hal-03779058v1

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⟩
Book sections hal-03779036v1

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⟩
Book sections hal-03779065v1