Vadim Malvone

47
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-04336220v1
Deposit thumbnail

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

Francesco Belardinelli , Angelo Ferrando , Vadim Malvone

Artificial Intelligence (AIJ), 2023, 316, pp.103847. ⟨10.1016/j.artint.2022.103847⟩

Article dans une revue 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⟩

Article dans une revue 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⟩

Article dans une revue hal-03779032v1
Deposit thumbnail

Natural strategic ability

Wojciech Jamroga , Vadim Malvone , Aniello Murano

Artificial Intelligence (AIJ), 2019, 277, pp.103170. ⟨10.1016/j.artint.2019.103170⟩

Article dans une revue hal-03779038v1

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-03779046v1

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-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⟩

Article dans une revue hal-03779041v1

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-03779061v1
Deposit thumbnail

Extending Timed Automata with Clock Derivatives

David Cortés , Jean Leneutre , Vadim Malvone , James Ortiz , Pierre-Yves Schobbens

Integrated Formal Methods, Nov 2025, Paris, France. pp.99-119, ⟨10.1007/978-3-032-10794-7_6⟩

Communication dans un congrès hal-05484311v1

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-04580662v1

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-04580667v1

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-04580655v1

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-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⟩

Communication dans un congrès hal-04336339v1

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-04336255v1

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-04336273v1

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-04336236v1

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-04336248v1
Deposit thumbnail

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-04336262v1
Deposit thumbnail

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-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⟩

Communication dans un congrès hal-04336278v1

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-04336265v1
Deposit thumbnail

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-04336392v1

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-04336322v1
Deposit thumbnail

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-04336385v1

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-04336316v1

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-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⟩

Communication dans un congrès 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

Communication dans un congrès hal-04336398v1
Deposit thumbnail

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-03779034v1

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-04336416v1

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-04336413v1

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-04336405v1

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-02867538v1
Deposit thumbnail

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-03170197v1
Deposit thumbnail

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-03170192v1
Deposit thumbnail

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-02377403v1
Deposit thumbnail

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-02428208v1

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-02422205v1
Deposit thumbnail

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-04572109v1

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-02377457v1

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-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⟩

Chapitre d'ouvrage 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⟩

Chapitre d'ouvrage hal-03779065v1