Vadim Malvone

ORCID

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 70

Top Venues

University of Naples Federico II, Italy (PHD)

Education History

University of Naples Federico II, Italy

PHD

Publications

Davide Catta, Jean Leneutre, Vadim Malvone, Aniello Murano
Obstruction Alternating-time Temporal Logic: A Strategic Logic to Reason about Dynamic Models. AAMAS (2024)
Massimo Bartoletti, Angelo Ferrando, Enrico Lipparini, Vadim Malvone
Solvent: liquidity verification of smart contracts. CoRR (2024)
Angelo Ferrando, Vadim Malvone
VITAMIN: A Compositional Framework for Model Checking of Multi-Agent Systems. CoRR (2024)
Davide Catta, Jean Leneutre, Antonina Mijatovic, Johanna Ulin, Vadim Malvone
A Formal Verification Approach to Handle Attack Graphs. ICAART (3) (2024)
Angelo Ferrando, Vadim Malvone
Hands-on VITAMIN: A Compositional Tool for Model Checking of Multi-Agent Systems. WOA (2024)
Gabriel Ballot, Vadim Malvone, Jean Leneutre, Youssef Laarouchi
Strategic Reasoning under Capacity-constrained Agents. AAMAS (2024)
Francesco Belardinelli, Angelo Ferrando, Vadim Malvone
An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information. Artif. Intell. 316 (2023)
Francesco Belardinelli, Ioana Boureanu, Vadim Malvone, Fortunat Rajaona
Automatically Verifying Expressive Epistemic Properties of Programs. AAAI (2023)
Angelo Ferrando, Vadim Malvone
Towards the Verification of Strategic Properties in Multi-Agent Systems with Imperfect Information. AAMAS (2023)
Vadim Malvone
The Impact of Strategies and Information in Model Checking for Multi-Agent Systems. AREA@ECAI (2023)
Solofomampionona Fortunat Rajaona, Ioana Boureanu, Vadim Malvone, Francesco Belardinelli
Program Semantics and Verification Technique for AI-Centred Programs. FM (2023)
Francesco Belardinelli, Angelo Ferrando, Vadim Malvone
3vLTL: A Tool to Generate Automata for Three-valued LTL. CoRR (2023)
Angelo Ferrando, Vadim Malvone
How to Find Good Coalitions to Achieve Strategic Objectives. ICAART (1) (2023)
Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga, Vadim Malvone, Aniello Murano
Scalable Verification of Strategy Logic through Three-Valued Abstraction. IJCAI (2023)
Hisham Unniyankal, Francesco Belardinelli, Angelo Ferrando, Vadim Malvone
RMLGym: a Formal Reward Machine Framework for Reinforcement Learning. WOA (2023)
Davide Catta, Jean Leneutre, Vadim Malvone
Reasoning About Dynamic Game Models Using Obstruction Logic (short paper). IPS-RCRA-SPIRIT@AI*IA (2023)
Angelo Ferrando, Vadim Malvone, Aniello Murano, Silvia Stranieri
HYASM: A Tool to Verify Hierarchical Systems. WETICE (2023)
Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga, Vadim Malvone, Aniello Murano
Scalable Verification of Strategy Logic through Three-valued Abstraction. CoRR (2023)
Davide Catta, Angelo Ferrando, Vadim Malvone
Coalition Alternating-Time Temporal Logic: A Logic to Find Good Coalitions to Achieve Strategic Objectives. ICAART (Revised Selected Paper) (2023)
Davide Catta, Antonio Di Stasio, Jean Leneutre, Vadim Malvone, Aniello Murano
A Game Theoretic Approach to Attack Graphs. ICAART (1) (2023)
Gabriel Ballot, Vadim Malvone, Jean Leneutre, Youssef Laarouchi
Capacity ATL. CoRR (2023)
Davide Catta, Jean Leneutre, Vadim Malvone
Obstruction Logic: A Strategic Temporal Logic to Reason About Dynamic Game Models. ECAI (2023)
Davide Catta, Vadim Malvone, Aniello Murano
Reasoning about Intuitionistic Computation Tree Logic. AREA@ECAI (2023)
Davide Catta, Jean Leneutre, Vadim Malvone
Attack Graphs & Subset Sabotage Games. Intelligenza Artificiale 17 (1) (2023)
Angelo Ferrando, Vadim Malvone
Towards the Combination of Model Checking and Runtime Verification on Multi-agent Systems. PAAMS (2022)
Angelo Ferrando, Vadim Malvone
Towards the Combination of Model Checking and Runtime Verification on Multi-Agent Systems. CoRR (2022)
Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone, Emily Yu
Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications. J. Artif. Intell. Res. 73 (2022)
Gabriel Ballot, Vadim Malvone, Jean Leneutre, Etienne Borde
Reasoning about Moving Target Defense in Attack Modeling Formalisms. CoRR (2022)
Angelo Ferrando, Vadim Malvone
Runtime Verification with Imperfect Information Through Indistinguishability Relations. SEFM (2022)
Davide Catta, Jean Leneutre, Vadim Malvone
Subset sabotage games & attack graphs. WOA (2022)
Francesco Belardinelli, Borja G. León, Vadim Malvone
Enabling Markovian Representations under Imperfect Information. ICAART (2) (2022)
Francesco Belardinelli, Wojtek Jamroga, Vadim Malvone, Munyque Mittelmann, Aniello Murano, Laurent Perrussel
Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions. CoRR (2022)
Angelo Ferrando, Vadim Malvone
Give Me a Hand: How to Use Model Checking for Multi-Agent Systems to Help Runtime Verification and Vice Versa (Short Paper). IPS/RiCeRcA/SPIRIT@AI*IA (2022)
Gabriel Ballot, Vadim Malvone, Jean Leneutre, Etienne Borde
Reasoning about Moving Target Defense in Attack Modeling Formalisms. MTD@CCS (2022)
Francesco Belardinelli, Ioana Boureanu, Catalin Dima, Vadim Malvone
Model Checking Strategic Abilities in Information-sharing Systems. CoRR (2022)
Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone
How to measure usable security: Natural strategies in voting protocols. J. Comput. Secur. 30 (3) (2022)
Francesco Belardinelli, Ioana Boureanu, Vadim Malvone, Solofomampionona Fortunat Rajaona
Program Semantics and a Verification Technique for Knowledge-Based Multi-Agent Systems. CoRR (2022)
Francesco Belardinelli, Wojtek Jamroga, Vadim Malvone, Munyque Mittelmann, Aniello Murano, Laurent Perrussel
Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions. AAMAS (2022)
Davide Catta, Jean Leneutre, Vadim Malvone
Towards a Formal Verification of Attack Graphs. IPS/RiCeRcA/SPIRIT@AI*IA (2022)
Vadim Malvone, Silvia Stranieri
Towards a Model Checking Tool for Strategy Logic with Simple Goals. ICTCS (2021)
Angelo Ferrando, Vadim Malvone
Towards the Verification of Strategic Properties in Multi-Agent Systems with Imperfect Information. CoRR (2021)
Angelo Ferrando, Vadim Malvone
Strategy RV: A Tool to Approximate ATL Model Checking under Imperfect Information and Perfect Recall. AAMAS (2021)
Angelo Ferrando, Vadim Malvone
Combine Model Checking and Runtime Verification in Multi-Agent Systems. ICTCS (2021)
Francesco Belardinelli, Vadim Malvone
Verifying Strategic Abilities in Multi-Agent Systems via First-Order Entailment. ECAI (2020)
Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone
Natural Strategic Abilities in Voting Protocols. STAST (2020)
Francesco Belardinelli, Vadim Malvone
A Three-valued Approach to Strategic Abilities under Imperfect Information. KR (2020)
Francesco Belardinelli, Catalin Dima, Vadim Malvone, Ferucio Laurentiu Tiplea
A Hennessy-Milner Theorem for ATL with Imperfect Information. LICS (2020)
Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone
Natural Strategic Abilities in Voting Protocols. CoRR (2020)
Francesco Belardinelli, Catalin Dima, Vadim Malvone, Ferucio Laurentiu Tiplea
A Hennessy-Milner Theorem for ATL with Imperfect Information. CoRR (2020)
Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone
An Abstraction-Based Method for Verifying Strategic Properties in Multi-Agent Systems with Imperfect Information. AAAI (2019)
Francesco Belardinelli, Catalin Dima, Ioana Boureanu, Vadim Malvone
Model Checking ATL* on vCGS. CoRR (2019)
Francesco Belardinelli, Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone, Aniello Murano
Strategy Logic with Simple Goals: Tractable Reasoning about Strategies. IJCAI (2019)
Wojciech Jamroga, Vadim Malvone, Aniello Murano
Natural Strategic Ability under Imperfect Information. AAMAS (2019)
Wojciech Jamroga, Vadim Malvone, Aniello Murano
Natural strategic ability. Artif. Intell. 277 (2019)
Francesco Belardinelli, Vadim Malvone
Decidable Verification of Agent-Based Data-Aware Systems. PRIMA (2019)
Francesco Belardinelli, Ioana Boureanu, Catalin Dima, Vadim Malvone
Verifying Strategic Abilities in Multi-agent Systems with Private Data-Sharing. AAMAS (2019)
Benjamin Aminof, Vadim Malvone, Aniello Murano, Sasha Rubin
Graded modalities in Strategy Logic. Inf. Comput. 261 (2018)
Vadim Malvone, Fabio Mogavero, Aniello Murano, Loredana Sorrentino
Reasoning about graded strategy quantifiers. Inf. Comput. 259 (3) (2018)
Antonio Di Stasio, Paolo Domenico Lambiase, Vadim Malvone, Aniello Murano
Dynamic Escape Game. AAMAS (2018)
Vadim Malvone, Aniello Murano, Loredana Sorrentino
Additional Winning Strategies in Reachability Games. Fundam. Informaticae 159 (1-2) (2018)
Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone
Approximating Perfect Recall When Model Checking Strategic Abilities. KR (2018)
Vadim Malvone, Aniello Murano, Loredana Sorrentino
Hiding Actions in Multi-Player Games. AAMAS (2017)
Wojciech Jamroga, Vadim Malvone, Aniello Murano
Reasoning about Natural Strategic Ability. AAMAS (2017)
Vadim Malvone, Aniello Murano
Reasoning About Additional Winning Strategies in Two-Player Games. EUMAS/AT (2017)
Benjamin Aminof, Vadim Malvone, Aniello Murano, Sasha Rubin
Graded Strategy Logic: Reasoning about Uniqueness of Nash Equilibria. AAMAS (2016)
Vadim Malvone, Aniello Murano, Marco Tafuto
NWin: A Tool for Counting Winning Strategies (Demonstration). AAMAS (2016)
Vadim Malvone, Aniello Murano
Additional Winning Strategies in Two-Player Games. ICTCS (2016)
Benjamin Aminof, Vadim Malvone, Aniello Murano, Sasha Rubin
Extended Graded Modalities in Strategy Logic. SR (2016)
Vadim Malvone, Aniello Murano, Loredana Sorrentino
Concurrent Multi-Player Parity Games. AAMAS (2016)
Vadim Malvone, Aniello Murano, Loredana Sorrentino
Hiding Actions in Concurrent Games. ECAI (2016)
Vadim Malvone, Fabio Mogavero, Aniello Murano, Loredana Sorrentino
On the Counting of Strategies. TIME (2015)
Vadim Malvone, Aniello Murano, Loredana Sorrentino
Games with additional winning strategies. CILC (2015)

Vadim Malvone.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Vadim Malvone