Vadim Malvone

According to our database, Vadim Malvone authored at least 62 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

VITAMIN: A Compositional Framework for Model Checking of Multi-Agent Systems.

Angelo Ferrando, Vadim Malvone

CoRR, 2024

A Formal Verification Approach to Handle Attack Graphs.

Davide Catta, Jean Leneutre, Antonina Mijatovic, Johanna Ulin, Vadim Malvone

Proceedings of the 16th International Conference on Agents and Artificial Intelligence, 2024

2023

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

Francesco Belardinelli, Angelo Ferrando, Vadim Malvone

Artif. Intell., March, 2023

Attack Graphs & Subset Sabotage Games.

Davide Catta, Jean Leneutre, Vadim Malvone

Intelligenza Artificiale, 2023

3vLTL: A Tool to Generate Automata for Three-valued LTL.

Francesco Belardinelli, Angelo Ferrando, Vadim Malvone

Proceedings of the Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, 2023

Reasoning about Intuitionistic Computation Tree Logic.

Davide Catta, Vadim Malvone, Aniello Murano

Proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy, 2023

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

Vadim Malvone

Proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy, 2023

Capacity ATL.

Gabriel Ballot, Vadim Malvone, Jean Leneutre, Youssef Laarouchi

CoRR, 2023

RMLGym: a Formal Reward Machine Framework for Reinforcement Learning.

Hisham Unniyankal, Francesco Belardinelli, Angelo Ferrando, Vadim Malvone

Proceedings of the 24th Workshop "From Objects to Agents", 2023

HYASM: A Tool to Verify Hierarchical Systems.

Angelo Ferrando, Vadim Malvone, Aniello Murano, Silvia Stranieri

Proceedings of the IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2023

Scalable Verification of Strategy Logic through Three-Valued Abstraction.

Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga, Vadim Malvone, Aniello Murano

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Coalition Alternating-Time Temporal Logic: A Logic to Find Good Coalitions to Achieve Strategic Objectives.

Davide Catta, Angelo Ferrando, Vadim Malvone

Proceedings of the Agents and Artificial Intelligence - 15th International Conference, 2023

A Game Theoretic Approach to Attack Graphs.

Davide Catta, Antonio Di Stasio, Jean Leneutre, Vadim Malvone, Aniello Murano

Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023

How to Find Good Coalitions to Achieve Strategic Objectives.

Angelo Ferrando, Vadim Malvone

Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023

Program Semantics and Verification Technique for AI-Centred Programs.

Solofomampionona Fortunat Rajaona, Ioana Boureanu, Vadim Malvone, Francesco Belardinelli

Proceedings of the Formal Methods - 25th International Symposium, 2023

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

Davide Catta, Jean Leneutre, Vadim Malvone

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

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

Angelo Ferrando, Vadim Malvone

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

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

Davide Catta, Jean Leneutre, Vadim Malvone

Proceedings of the the Italian Workshop on Planning and Scheduling, 2023

Automatically Verifying Expressive Epistemic Properties of Programs.

Francesco Belardinelli, Ioana Boureanu, Vadim Malvone, Fortunat Rajaona

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

How to measure usable security: Natural strategies in voting protocols.

Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone

J. Comput. Secur., 2022

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

Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone, Emily Yu

J. Artif. Intell. Res., 2022

Program Semantics and a Verification Technique for Knowledge-Based Multi-Agent Systems.

Francesco Belardinelli, Ioana Boureanu, Vadim Malvone, Solofomampionona Fortunat Rajaona

CoRR, 2022

Model Checking Strategic Abilities in Information-sharing Systems.

Francesco Belardinelli, Ioana Boureanu, Catalin Dima, Vadim Malvone

CoRR, 2022

Subset sabotage games & attack graphs.

Davide Catta, Jean Leneutre, Vadim Malvone

Proceedings of the 23rd Workshop "From Objects to Agents", 2022

Runtime Verification with Imperfect Information Through Indistinguishability Relations.

Angelo Ferrando, Vadim Malvone

Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022

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

Angelo Ferrando, Vadim Malvone

Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Complex Systems Simulation. The PAAMS Collection, 2022

Enabling Markovian Representations under Imperfect Information.

Francesco Belardinelli, Borja G. León, Vadim Malvone

Proceedings of the 14th International Conference on Agents and Artificial Intelligence, 2022

Reasoning about Moving Target Defense in Attack Modeling Formalisms.

Gabriel Ballot, Vadim Malvone, Jean Leneutre, Etienne Borde

Proceedings of the 9th ACM Workshop on Moving Target Defense, 2022

Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions.

Francesco Belardinelli, Wojtek Jamroga, Vadim Malvone, Munyque Mittelmann, Aniello Murano, Laurent Perrussel

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

Towards a Formal Verification of Attack Graphs.

Davide Catta, Jean Leneutre, Vadim Malvone

Proceedings of the 10th Italian workshop on Planning and Scheduling (IPS 2022), RCRA Incontri E Confronti (RiCeRcA 2022), and the workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2022) co-located with 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), November 28, 2022

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

Angelo Ferrando, Vadim Malvone

Proceedings of the 10th Italian workshop on Planning and Scheduling (IPS 2022), RCRA Incontri E Confronti (RiCeRcA 2022), and the workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2022) co-located with 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), November 28, 2022

2021

Towards a Model Checking Tool for Strategy Logic with Simple Goals.

Vadim Malvone, Silvia Stranieri

Proceedings of the 22nd Italian Conference on Theoretical Computer Science, 2021

Combine Model Checking and Runtime Verification in Multi-Agent Systems.

Angelo Ferrando, Vadim Malvone

Proceedings of the 22nd Italian Conference on Theoretical Computer Science, 2021

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

Angelo Ferrando, Vadim Malvone

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

2020

Natural Strategic Abilities in Voting Protocols.

Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone

Proceedings of the Socio-Technical Aspects in Security and Trust, 2020

A Hennessy-Milner Theorem for ATL with Imperfect Information.

Francesco Belardinelli, Catalin Dima, Vadim Malvone, Ferucio Laurentiu Tiplea

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

A Three-valued Approach to Strategic Abilities under Imperfect Information.

Francesco Belardinelli, Vadim Malvone

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Verifying Strategic Abilities in Multi-Agent Systems via First-Order Entailment.

Francesco Belardinelli, Vadim Malvone

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

2019

Model Checking ATL* on vCGS.

Francesco Belardinelli, Catalin Dima, Ioana Boureanu, Vadim Malvone

CoRR, 2019

Natural strategic ability.

Wojciech Jamroga, Vadim Malvone, Aniello Murano

Artif. Intell., 2019

Decidable Verification of Agent-Based Data-Aware Systems.

Francesco Belardinelli, Vadim Malvone

Proceedings of the PRIMA 2019: Principles and Practice of Multi-Agent Systems, 2019

Strategy Logic with Simple Goals: Tractable Reasoning about Strategies.

Francesco Belardinelli, Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone, Aniello Murano

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Natural Strategic Ability under Imperfect Information.

Wojciech Jamroga, Vadim Malvone, Aniello Murano

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

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 MultiAgent Systems, 2019

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

Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Strategic Reasoning in Game Theory.

Vadim Malvone

PhD thesis, 2018

Reasoning about graded strategy quantifiers.

Vadim Malvone, Fabio Mogavero, Aniello Murano, Loredana Sorrentino

Inf. Comput., 2018

Graded modalities in Strategy Logic.

Benjamin Aminof, Vadim Malvone, Aniello Murano, Sasha Rubin

Inf. Comput., 2018

Additional Winning Strategies in Reachability Games.

Vadim Malvone, Aniello Murano, Loredana Sorrentino

Fundam. Informaticae, 2018

Approximating Perfect Recall When Model Checking Strategic Abilities.

Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Dynamic Escape Game.

Antonio Di Stasio, Paolo Domenico Lambiase, Vadim Malvone, Aniello Murano

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

2017

Reasoning About Additional Winning Strategies in Two-Player Games.

Vadim Malvone, Aniello Murano

Proceedings of the Multi-Agent Systems and Agreement Technologies, 2017

Hiding Actions in Multi-Player Games.

Vadim Malvone, Aniello Murano, Loredana Sorrentino

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

Reasoning about Natural Strategic Ability.

Wojciech Jamroga, Vadim Malvone, Aniello Murano

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

2016

Extended Graded Modalities in Strategy Logic.

Benjamin Aminof, Vadim Malvone, Aniello Murano, Sasha Rubin

Proceedings of the 4th International Workshop on Strategic Reasoning, 2016

Additional Winning Strategies in Two-Player Games.

Vadim Malvone, Aniello Murano

Proceedings of the 17th Italian Conference on Theoretical Computer Science, 2016

Hiding Actions in Concurrent Games.

Vadim Malvone, Aniello Murano, Loredana Sorrentino

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

NWin: A Tool for Counting Winning Strategies (Demonstration).

Vadim Malvone, Aniello Murano, Marco Tafuto

Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

Concurrent Multi-Player Parity Games.

Vadim Malvone, Aniello Murano, Loredana Sorrentino

Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

Graded Strategy Logic: Reasoning about Uniqueness of Nash Equilibria.

Benjamin Aminof, Vadim Malvone, Aniello Murano, Sasha Rubin

Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

2015

On the Counting of Strategies.

Vadim Malvone, Fabio Mogavero, Aniello Murano, Loredana Sorrentino

Proceedings of the 22nd International Symposium on Temporal Representation and Reasoning, 2015

Games with additional winning strategies.

Vadim Malvone, Aniello Murano, Loredana Sorrentino

Proceedings of the 30th Italian Conference on Computational Logic, 2015