Games with additional winning strategies. - Vadim Malvone; Aniello Murano; Loredana Sorrentino (CILC, 2015)

On the Counting of Strategies. - Vadim Malvone; Fabio Mogavero; Aniello Murano; Loredana Sorrentino (TIME, 2015)

Graded Strategy Logic: Reasoning about Uniqueness of Nash Equilibria. - Benjamin Aminof; Vadim Malvone; Aniello Murano; Sasha Rubin (AAMAS, 2016)

Concurrent Multi-Player Parity Games. - Vadim Malvone; Aniello Murano; Loredana Sorrentino (AAMAS, 2016)

NWin: A Tool for Counting Winning Strategies (Demonstration). - Vadim Malvone; Aniello Murano; Marco Tafuto (AAMAS, 2016)

Hiding Actions in Concurrent Games. - Vadim Malvone; Aniello Murano; Loredana Sorrentino (ECAI, 2016)

Additional Winning Strategies in Two-Player Games. - Vadim Malvone; Aniello Murano (ICTCS, 2016)

Extended Graded Modalities in Strategy Logic. - Benjamin Aminof; Vadim Malvone; Aniello Murano; Sasha Rubin (SR, 2016)

Reasoning about Natural Strategic Ability. - Wojciech Jamroga; Vadim Malvone; Aniello Murano (AAMAS, 2017)

Hiding Actions in Multi-Player Games. - Vadim Malvone; Aniello Murano; Loredana Sorrentino (AAMAS, 2017)

Reasoning About Additional Winning Strategies in Two-Player Games. - Vadim Malvone; Aniello Murano (EUMAS/AT, 2017)

Dynamic Escape Game. - Antonio Di Stasio 001; Paolo Domenico Lambiase; Vadim Malvone; Aniello Murano (AAMAS, 2018)

Approximating Perfect Recall When Model Checking Strategic Abilities. - Francesco Belardinelli; Alessio Lomuscio; Vadim Malvone (KR, 2018)

Additional Winning Strategies in Reachability Games. - Vadim Malvone; Aniello Murano; Loredana Sorrentino (Fundam. Informaticae, 2018)

Graded modalities in Strategy Logic. - Benjamin Aminof; Vadim Malvone; Aniello Murano; Sasha Rubin (Inf. Comput., 2018)

Reasoning about graded strategy quantifiers. - Vadim Malvone; Fabio Mogavero; Aniello Murano; Loredana Sorrentino (Inf. Comput., 2018)

Strategic Reasoning in Game Theory. - Vadim Malvone (2018)

An Abstraction-Based Method for Verifying Strategic Properties in Multi-Agent Systems with Imperfect Information. - Francesco Belardinelli; Alessio Lomuscio; Vadim Malvone (AAAI, 2019)

Verifying Strategic Abilities in Multi-agent Systems with Private Data-Sharing. - Francesco Belardinelli; Ioana Boureanu; Catalin Dima; Vadim Malvone (AAMAS, 2019)

Natural Strategic Ability under Imperfect Information. - Wojciech Jamroga; Vadim Malvone; Aniello Murano (AAMAS, 2019)

Strategy Logic with Simple Goals: Tractable Reasoning about Strategies. - Francesco Belardinelli; Wojciech Jamroga; Damian Kurpiewski; Vadim Malvone; Aniello Murano (IJCAI, 2019)

Decidable Verification of Agent-Based Data-Aware Systems. - Francesco Belardinelli; Vadim Malvone (PRIMA, 2019)

Natural strategic ability. - Wojciech Jamroga; Vadim Malvone; Aniello Murano (Artif. Intell., 2019)

Model Checking ATL* on vCGS. - Francesco Belardinelli; Catalin Dima; Ioana Boureanu; Vadim Malvone (CoRR, 2019)

Verifying Strategic Abilities in Multi-Agent Systems via First-Order Entailment. - Francesco Belardinelli; Vadim Malvone (ECAI, 2020)

A Three-valued Approach to Strategic Abilities under Imperfect Information. - Francesco Belardinelli; Vadim Malvone (KR, 2020)

A Hennessy-Milner Theorem for ATL with Imperfect Information. - Francesco Belardinelli; Catalin Dima; Vadim Malvone; Ferucio Laurentiu Tiplea (LICS, 2020)

Natural Strategic Abilities in Voting Protocols. - Wojciech Jamroga; Damian Kurpiewski; Vadim Malvone (STAST, 2020)

Strategy RV: A Tool to Approximate ATL Model Checking under Imperfect Information and Perfect Recall. - Angelo Ferrando 001; Vadim Malvone (AAMAS, 2021)

Combine Model Checking and Runtime Verification in Multi-Agent Systems. - Angelo Ferrando 001; Vadim Malvone (ICTCS, 2021)

Towards a Model Checking Tool for Strategy Logic with Simple Goals. - Vadim Malvone; Silvia Stranieri (ICTCS, 2021)

Give Me a Hand: How to Use Model Checking for Multi-Agent Systems to Help Runtime Verification and Vice Versa (Short Paper). - Angelo Ferrando 001; Vadim Malvone (IPS/RiCeRcA/SPIRIT@AI*IA, 2022)

Towards a Formal Verification of Attack Graphs. - Davide Catta; Jean Leneutre; Vadim Malvone (IPS/RiCeRcA/SPIRIT@AI*IA, 2022)

Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions. - Francesco Belardinelli; Wojtek Jamroga; Vadim Malvone; Munyque Mittelmann; Aniello Murano; Laurent Perrussel (AAMAS, 2022)

Reasoning about Moving Target Defense in Attack Modeling Formalisms. - Gabriel Ballot; Vadim Malvone; Jean Leneutre; Etienne Borde (MTD@CCS, 2022)

Enabling Markovian Representations under Imperfect Information. - Francesco Belardinelli; Borja G. León; Vadim Malvone (ICAART (2), 2022)

Towards the Combination of Model Checking and Runtime Verification on Multi-agent Systems. - Angelo Ferrando 001; Vadim Malvone (PAAMS, 2022)

Runtime Verification with Imperfect Information Through Indistinguishability Relations. - Angelo Ferrando 001; Vadim Malvone (SEFM, 2022)

Subset sabotage games & attack graphs. - Davide Catta; Jean Leneutre; Vadim Malvone (WOA, 2022)

Program Semantics and a Verification Technique for Knowledge-Based Multi-Agent Systems. - Francesco Belardinelli; Ioana Boureanu; Vadim Malvone; Solofomampionona Fortunat Rajaona (CoRR, 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)

How to measure usable security: Natural strategies in voting protocols. - Wojciech Jamroga; Damian Kurpiewski; Vadim Malvone (J. Comput. Secur., 2022)

Automatically Verifying Expressive Epistemic Properties of Programs. - Francesco Belardinelli; Ioana Boureanu; Vadim Malvone; Fortunat Rajaona (AAAI, 2023)

Reasoning About Dynamic Game Models Using Obstruction Logic (short paper). - Davide Catta; Jean Leneutre; Vadim Malvone (IPS-RCRA-SPIRIT@AI*IA, 2023)

Towards the Verification of Strategic Properties in Multi-Agent Systems with Imperfect Information. - Angelo Ferrando 001; Vadim Malvone (AAMAS, 2023)

Obstruction Logic: A Strategic Temporal Logic to Reason About Dynamic Game Models. - Davide Catta; Jean Leneutre; Vadim Malvone (ECAI, 2023)

Program Semantics and Verification Technique for AI-Centred Programs. - Solofomampionona Fortunat Rajaona; Ioana Boureanu; Vadim Malvone; Francesco Belardinelli (FM, 2023)

How to Find Good Coalitions to Achieve Strategic Objectives. - Angelo Ferrando 001; Vadim Malvone (ICAART (1), 2023)

A Game Theoretic Approach to Attack Graphs. - Davide Catta; Antonio Di Stasio 001; Jean Leneutre; Vadim Malvone; Aniello Murano (ICAART (1), 2023)

Coalition Alternating-Time Temporal Logic: A Logic to Find Good Coalitions to Achieve Strategic Objectives. - Davide Catta; Angelo Ferrando 001; Vadim Malvone (ICAART (Revised Selected Paper), 2023)

Scalable Verification of Strategy Logic through Three-Valued Abstraction. - Francesco Belardinelli; Angelo Ferrando 001; Wojciech Jamroga; Vadim Malvone; Aniello Murano (IJCAI, 2023)

HYASM: A Tool to Verify Hierarchical Systems. - Angelo Ferrando 001; Vadim Malvone; Aniello Murano; Silvia Stranieri (WETICE, 2023)

RMLGym: a Formal Reward Machine Framework for Reinforcement Learning. - Hisham Unniyankal; Francesco Belardinelli; Angelo Ferrando 001; Vadim Malvone (WOA, 2023)

Capacity ATL. - Gabriel Ballot; Vadim Malvone; Jean Leneutre; Youssef Laarouchi (CoRR, 2023)

The Impact of Strategies and Information in Model Checking for Multi-Agent Systems. - Vadim Malvone (AREA@ECAI, 2023)

Reasoning about Intuitionistic Computation Tree Logic. - Davide Catta; Vadim Malvone; Aniello Murano (AREA@ECAI, 2023)

3vLTL: A Tool to Generate Automata for Three-valued LTL. - Francesco Belardinelli; Angelo Ferrando 001; Vadim Malvone (FMAS@iFM, 2023)

Attack Graphs & Subset Sabotage Games. - Davide Catta; Jean Leneutre; Vadim Malvone (Intelligenza Artificiale, 2023)

An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information. - Francesco Belardinelli; Angelo Ferrando 001; Vadim Malvone (Artif. Intell., 2023)

Strategic Reasoning under Capacity-constrained Agents. - Gabriel Ballot; Vadim Malvone; Jean Leneutre; Youssef Laarouchi (AAMAS, 2024)

Obstruction Alternating-time Temporal Logic: A Strategic Logic to Reason about Dynamic Models. - Davide Catta; Jean Leneutre; Vadim Malvone; Aniello Murano (AAMAS, 2024)

A Formal Verification Approach to Handle Attack Graphs. - Davide Catta; Jean Leneutre; Antonina Mijatovic; Johanna Ulin; Vadim Malvone (ICAART (3), 2024)

Solvent: Liquidity Verification of Smart Contracts. - Massimo Bartoletti; Angelo Ferrando 001; Enrico Lipparini; Vadim Malvone (IFM, 2024)

Resource Action-Based Bounded ATL: A New Logic for MAS to Express a Cost Over the Actions. - Davide Catta; Angelo Ferrando 001; Vadim Malvone (PRIMA, 2024)

Theory and Practice of Quantitative ATL. - Angelo Ferrando 001; Giulia Luongo; Vadim Malvone; Aniello Murano (PRIMA, 2024)

Towards a Compositional and User-friendly Tool for Multi-Agent Systems Verification (short paper). - Angelo Ferrando 001; Vadim Malvone (AI4CC-IPS-RCRA-SPIRIT@AI*IA, 2024)

Development of Natural Strategies in Strategic Logics (short paper). - Marco Aruta; Vadim Malvone; Aniello Murano (AI4CC-IPS-RCRA-SPIRIT@AI*IA, 2024)

Reasoning about Real-Time and Probability on Obstruction Logic. - Jean Leneutre; Vadim Malvone; James Ortiz 001 (AI4CC-IPS-RCRA-SPIRIT@AI*IA, 2024)

Hands-on VITAMIN: A Compositional Tool for Model Checking of Multi-Agent Systems. - Angelo Ferrando 001; Vadim Malvone (WOA, 2024)

Runtime Verification via Rational Monitor with Imperfect Information. - Angelo Ferrando 001; Vadim Malvone (CoRR, 2024)

A Model Checker for Natural Strategic Ability. - Marco Aruta; Vadim Malvone; Aniello Murano (CoRR, 2024)

Probabilistic Obstruction Temporal Logic: a Probabilistic Logic to Reason about Dynamic Models. - Jean Leneutre; Vadim Malvone; James Ortiz 001 (CoRR, 2024)

VITAMIN: A Compositional Framework for Model Checking of Multi-Agent Systems. - Angelo Ferrando 001; Vadim Malvone (ICAART (1), 2025)

VITAMIN: VerIficaTion of A MultI ageNt system. - Angelo Ferrando 001; Vadim Malvone (AAMAS, 2025)

FindMe: A Prototype Videogame AI based on CTL with an Optimized Synthesis Algorithm. - Marco Aruta; Vadim Malvone; Aniello Murano; Vincenzo Pio Palma; Salvatore Romano (AAMAS, 2025)

Alternating-time Temporal Logic with Stochastic Abilities. - Gabriel Ballot; Vadim Malvone; Jean Leneutre; Jingxuan Ma; Mourad Leslous (AAMAS, 2025)

Agreement Games in Multi-Agent Systems. - Davide Catta; Angelo Ferrando 001; Vadim Malvone (AAMAS, 2025)

Timed Obstruction Logic: A Timed Approach to Dynamic Game Reasoning. - Jean Leneutre; Vadim Malvone; James Ortiz 001 (AAMAS, 2025)

An SMT-Based Approach to the Verification of Knowledge-Based Programs. - Francesco Belardinelli; Ioana Boureanu; Vadim Malvone; Fortunat Rajaona (Formal Aspects Comput., 2025)

Reasoning about Decidability of Strategic Logics with Imperfect Information and Perfect Recall Strategies. - Davide Catta; Angelo Ferrando 001; Vadim Malvone (J. Artif. Intell. Res., 2025)

Model-checking Strategic Abilities in Information-sharing Systems. - Francesco Belardinelli; Ioana Boureanu; Catalin Dima; Vadim Malvone (ACM Trans. Comput. Log., 2025)

Advances in Multi-Agent Systems Research: Extended Selected Papers from EUMAS 2022 and EUMAS 2023. - Dorothea Baumeister; Jörg Rothe; Nikos Spanoudakis; Vadim Malvone; Aniello Murano (SN Comput. Sci., 2025)