Vadim Malvone - RankMe

110 papers A* 9A 23B 9C 3Misc 3Journal 32Unranked 29

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	FindMe Reforged: Temporal Logic AI for Richer Videogame Scenarios. ICAART (3) Vadim Malvone, Aniello Murano, Vincenzo Pio Palma, Salvatore Romano
2026	B	`ed.`	PRIMA 2025: Principles and Practice of Multi-Agent Systems - 26th International Conference, Modena, Italy, December 16-19, 2025, Proceedings PRIMA Catalin Dima, Angelo Ferrando, Vadim Malvone
2026	—	`conf`	Probabilistic Alternating-Time Temporal Logic with Stochastic Abilities. ICAART (1) Sarra Zaghbib, Gabriel Ballot, Vadim Malvone, Jean Leneutre
2026	J	`jnl`	Runtime Verification via Rational Monitor with Imperfect Information. ACM Trans. Softw. Eng. Methodol. Angelo Ferrando, Vadim Malvone
2026	—	`conf`	Toward Explainable Diagnosis: A Neurosymbolic Approach. ICAART (4) Ciro Listone, Vadim Malvone, Aniello Murano
2026	A*	`conf`	When Natural Strategies Meet Fuzziness and Resource-Bounded Actions. AAAI Marco Aruta, Francesco Improta, Vadim Malvone, Aniello Murano
2025	J	`jnl`	A Timed Obstruction Logic for Dynamic Game Models. CoRR David Cortés, Jean Leneutre, Vadim Malvone, James Ortiz
2025	J	`jnl`	A formal approach to attack graphs. Ann. Math. Artif. Intell. Davide Catta, Jean Leneutre, Vadim Malvone, Aniello Murano
2025	J	`jnl`	Advances in Multi-Agent Systems Research: Extended Selected Papers from EUMAS 2022 and EUMAS 2023. SN Comput. Sci. Dorothea Baumeister, Jörg Rothe, Nikos Spanoudakis, Vadim Malvone, Aniello Murano
2025	A	`conf`	Agreement Games in Multi-Agent Systems. AAMAS Davide Catta, Angelo Ferrando, Vadim Malvone
2025	A	`conf`	Alternating-time Temporal Logic with Stochastic Abilities. AAMAS Gabriel Ballot, Vadim Malvone, Jean Leneutre, Jingxuan Ma, Mourad Leslous
2025	J	`jnl`	An SMT-Based Approach to the Verification of Knowledge-Based Programs. Formal Aspects Comput. Francesco Belardinelli, Ioana Boureanu, Vadim Malvone, Fortunat Rajaona
2025	B	`conf`	Auto-Generating Visual Editors for Formal Logics with Blockly. iFM Angelo Ferrando, Peng Lu, Vadim Malvone
2025	A*	`conf`	Coalition Obstruction Temporal Logic: A New Obstruction Logic to Reason About Demon Coalitions. IJCAI Davide Catta, Jean Leneutre, Vadim Malvone, James Ortiz
2025	B	`conf`	Extending Timed Automata with Clock Derivatives. iFM David Cortés, Jean Leneutre, Vadim Malvone, James Jerson Ortiz, Pierre-Yves Schobbens
2025	A	`conf`	FindMe: A Prototype Videogame AI based on CTL with an Optimized Synthesis Algorithm. AAMAS Marco Aruta, Vadim Malvone, Aniello Murano, Vincenzo Pio Palma, Salvatore Romano
2025	J	`jnl`	Model-checking Strategic Abilities in Information-sharing Systems. ACM Trans. Comput. Log. Francesco Belardinelli, Ioana Boureanu, Catalin Dima, Vadim Malvone
2025	Misc	`conf`	On the Usability and Extensibility of VITAMIN. PAAMS Angelo Ferrando, Vadim Malvone
2025	J	`jnl`	Reasoning about Decidability of Strategic Logics with Imperfect Information and Perfect Recall Strategies. J. Artif. Intell. Res. Davide Catta, Angelo Ferrando, Vadim Malvone
2025	A	`conf`	Runtime Verification with Rational Multi-Monitors. ECAI Davide Catta, Angelo Ferrando, Vadim Malvone
2025	A	`conf`	Strategic Reasoning with Capacity-Constrained Agents and Imperfect Information. ECAI Gabriel Ballot, Vadim Malvone, Jean Leneutre, Jingxuan Ma
2025	Misc	`conf`	Theory and Practice of Natural Strategy Checking in Concurrent Games with Imperfect Information. PAAMS Marco Aruta, Francesco Improta, Vadim Malvone, Aniello Murano
2025	A	`conf`	Timed Obstruction Logic: A Timed Approach to Dynamic Game Reasoning. AAMAS Jean Leneutre, Vadim Malvone, James Ortiz
2025	—	`conf`	VITAMIN: A Compositional Framework for Model Checking of Multi-Agent Systems. ICAART (1) Angelo Ferrando, Vadim Malvone
2025	A	`conf`	VITAMIN: VerIficaTion of A MultI ageNt system. AAMAS Angelo Ferrando, Vadim Malvone
2025	J	`jnl`	When Natural Strategies Meet Fuzziness and Resource-Bounded Actions (Extended Version). CoRR Marco Aruta, Francesco Improta, Vadim Malvone, Aniello Murano
2024	—	`conf`	A Formal Verification Approach to Handle Attack Graphs. ICAART (3) Davide Catta, Jean Leneutre, Antonina Mijatovic, Johanna Ulin, Vadim Malvone
2024	J	`jnl`	A Model Checker for Natural Strategic Ability. CoRR Marco Aruta, Vadim Malvone, Aniello Murano
2024	—	`conf`	Development of Natural Strategies in Strategic Logics (short paper). AI4CC-IPS-RCRA-SPIRIT@AI*IA Marco Aruta, Vadim Malvone, Aniello Murano
2024	—	`conf`	Hands-on VITAMIN: A Compositional Tool for Model Checking of Multi-Agent Systems. WOA Angelo Ferrando, Vadim Malvone
2024	A	`conf`	Obstruction Alternating-time Temporal Logic: A Strategic Logic to Reason about Dynamic Models. AAMAS Davide Catta, Jean Leneutre, Vadim Malvone, Aniello Murano
2024	J	`jnl`	Probabilistic Obstruction Temporal Logic: a Probabilistic Logic to Reason about Dynamic Models. CoRR Jean Leneutre, Vadim Malvone, James Ortiz
2024	—	`conf`	Reasoning about Real-Time and Probability on Obstruction Logic. AI4CC-IPS-RCRA-SPIRIT@AI*IA Jean Leneutre, Vadim Malvone, James Ortiz
2024	B	`conf`	Resource Action-Based Bounded ATL: A New Logic for MAS to Express a Cost Over the Actions. PRIMA Davide Catta, Angelo Ferrando, Vadim Malvone
2024	J	`jnl`	Runtime Verification via Rational Monitor with Imperfect Information. CoRR Angelo Ferrando, Vadim Malvone
2024	B	`conf`	Solvent: Liquidity Verification of Smart Contracts. IFM Massimo Bartoletti, Angelo Ferrando, Enrico Lipparini, Vadim Malvone
2024	J	`jnl`	Solvent: liquidity verification of smart contracts. CoRR Massimo Bartoletti, Angelo Ferrando, Enrico Lipparini, Vadim Malvone
2024	A	`conf`	Strategic Reasoning under Capacity-constrained Agents. AAMAS Gabriel Ballot, Vadim Malvone, Jean Leneutre, Youssef Laarouchi
2024	B	`conf`	Theory and Practice of Quantitative ATL. PRIMA Angelo Ferrando, Giulia Luongo, Vadim Malvone, Aniello Murano
2024	—	`conf`	Towards a Compositional and User-friendly Tool for Multi-Agent Systems Verification (short paper). AI4CC-IPS-RCRA-SPIRIT@AI*IA Angelo Ferrando, Vadim Malvone
2024	J	`jnl`	VITAMIN: A Compositional Framework for Model Checking of Multi-Agent Systems. CoRR Angelo Ferrando, Vadim Malvone
2023	—	`conf`	3vLTL: A Tool to Generate Automata for Three-valued LTL. FMAS@iFM Francesco Belardinelli, Angelo Ferrando, Vadim Malvone
2023	—	`conf`	A Game Theoretic Approach to Attack Graphs. ICAART (1) Davide Catta, Antonio Di Stasio, Jean Leneutre, Vadim Malvone, Aniello Murano
2023	J	`jnl`	An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information. Artif. Intell. Francesco Belardinelli, Angelo Ferrando, Vadim Malvone
2023	J	`jnl`	Attack Graphs & Subset Sabotage Games. Intelligenza Artificiale Davide Catta, Jean Leneutre, Vadim Malvone
2023	A*	`conf`	Automatically Verifying Expressive Epistemic Properties of Programs. AAAI Francesco Belardinelli, Ioana Boureanu, Vadim Malvone, Fortunat Rajaona
2023	J	`jnl`	Capacity ATL. CoRR Gabriel Ballot, Vadim Malvone, Jean Leneutre, Youssef Laarouchi
2023	—	`conf`	Coalition Alternating-Time Temporal Logic: A Logic to Find Good Coalitions to Achieve Strategic Objectives. ICAART (Revised Selected Paper) Davide Catta, Angelo Ferrando, Vadim Malvone
2023	C	`conf`	HYASM: A Tool to Verify Hierarchical Systems. WETICE Angelo Ferrando, Vadim Malvone, Aniello Murano, Silvia Stranieri
2023	—	`conf`	How to Find Good Coalitions to Achieve Strategic Objectives. ICAART (1) Angelo Ferrando, Vadim Malvone
2023	C	`ed.`	Multi-Agent Systems - 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings EUMAS Vadim Malvone, Aniello Murano
2023	A	`conf`	Obstruction Logic: A Strategic Temporal Logic to Reason About Dynamic Game Models. ECAI Davide Catta, Jean Leneutre, Vadim Malvone
2023	—	`ed.`	Proceedings of the the Italian Workshop on Planning and Scheduling, RCRA Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion, and SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (IPS-RCRA-SPIRIT 2023) co-located with 22nd International Conference of the Italian Association for Artificial Intelligence AIxIA 2023, November 7-9th, 2023, Rome, Italy. IPS-RCRA-SPIRIT@AI*IA Riccardo De Benedictis, Matteo Castiglioni, Diodato Ferraioli, Vadim Malvone, Marco Maratea, Enrico Scala, Luciano Serafini, Ivan Serina, Elisa Tosello, Alessandro Umbrico, Mauro Vallati
2023	B	`conf`	Program Semantics and Verification Technique for AI-Centred Programs. FM Solofomampionona Fortunat Rajaona, Ioana Boureanu, Vadim Malvone, Francesco Belardinelli
2023	—	`conf`	RMLGym: a Formal Reward Machine Framework for Reinforcement Learning. WOA Hisham Unniyankal, Francesco Belardinelli, Angelo Ferrando, Vadim Malvone
2023	—	`conf`	Reasoning About Dynamic Game Models Using Obstruction Logic (short paper). IPS-RCRA-SPIRIT@AI*IA Davide Catta, Jean Leneutre, Vadim Malvone
2023	—	`conf`	Reasoning about Intuitionistic Computation Tree Logic. AREA@ECAI Davide Catta, Vadim Malvone, Aniello Murano
2023	A*	`conf`	Scalable Verification of Strategy Logic through Three-Valued Abstraction. IJCAI Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga, Vadim Malvone, Aniello Murano
2023	J	`jnl`	Scalable Verification of Strategy Logic through Three-valued Abstraction. CoRR Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga, Vadim Malvone, Aniello Murano
2023	—	`conf`	The Impact of Strategies and Information in Model Checking for Multi-Agent Systems. AREA@ECAI Vadim Malvone
2023	A	`conf`	Towards the Verification of Strategic Properties in Multi-Agent Systems with Imperfect Information. AAMAS Angelo Ferrando, Vadim Malvone
2022	J	`jnl`	Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications. J. Artif. Intell. Res. Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone, Emily Yu
2022	—	`conf`	Enabling Markovian Representations under Imperfect Information. ICAART (2) Francesco Belardinelli, Borja G. León, Vadim Malvone
2022	—	`conf`	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 Angelo Ferrando, Vadim Malvone
2022	J	`jnl`	How to measure usable security: Natural strategies in voting protocols. J. Comput. Secur. Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone
2022	J	`jnl`	Model Checking Strategic Abilities in Information-sharing Systems. CoRR Francesco Belardinelli, Ioana Boureanu, Catalin Dima, Vadim Malvone
2022	J	`jnl`	Program Semantics and a Verification Technique for Knowledge-Based Multi-Agent Systems. CoRR Francesco Belardinelli, Ioana Boureanu, Vadim Malvone, Solofomampionona Fortunat Rajaona
2022	A	`conf`	Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions. AAMAS Francesco Belardinelli, Wojtek Jamroga, Vadim Malvone, Munyque Mittelmann, Aniello Murano, Laurent Perrussel
2022	J	`jnl`	Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions. CoRR Francesco Belardinelli, Wojtek Jamroga, Vadim Malvone, Munyque Mittelmann, Aniello Murano, Laurent Perrussel
2022	—	`conf`	Reasoning about Moving Target Defense in Attack Modeling Formalisms. MTD@CCS Gabriel Ballot, Vadim Malvone, Jean Leneutre, Etienne Borde
2022	J	`jnl`	Reasoning about Moving Target Defense in Attack Modeling Formalisms. CoRR Gabriel Ballot, Vadim Malvone, Jean Leneutre, Etienne Borde
2022	B	`conf`	Runtime Verification with Imperfect Information Through Indistinguishability Relations. SEFM Angelo Ferrando, Vadim Malvone
2022	—	`conf`	Subset sabotage games & attack graphs. WOA Davide Catta, Jean Leneutre, Vadim Malvone
2022	—	`conf`	Towards a Formal Verification of Attack Graphs. IPS/RiCeRcA/SPIRIT@AI*IA Davide Catta, Jean Leneutre, Vadim Malvone
2022	J	`jnl`	Towards the Combination of Model Checking and Runtime Verification on Multi-Agent Systems. CoRR Angelo Ferrando, Vadim Malvone
2022	Misc	`conf`	Towards the Combination of Model Checking and Runtime Verification on Multi-agent Systems. PAAMS Angelo Ferrando, Vadim Malvone
2021	—	`conf`	Combine Model Checking and Runtime Verification in Multi-Agent Systems. ICTCS Angelo Ferrando, Vadim Malvone
2021	A	`conf`	Strategy RV: A Tool to Approximate ATL Model Checking under Imperfect Information and Perfect Recall. AAMAS Angelo Ferrando, Vadim Malvone
2021	—	`conf`	Towards a Model Checking Tool for Strategy Logic with Simple Goals. ICTCS Vadim Malvone, Silvia Stranieri
2021	J	`jnl`	Towards the Verification of Strategic Properties in Multi-Agent Systems with Imperfect Information. CoRR Angelo Ferrando, Vadim Malvone
2020	A*	`conf`	A Hennessy-Milner Theorem for ATL with Imperfect Information. LICS Francesco Belardinelli, Catalin Dima, Vadim Malvone, Ferucio Laurentiu Tiplea
2020	J	`jnl`	A Hennessy-Milner Theorem for ATL with Imperfect Information. CoRR Francesco Belardinelli, Catalin Dima, Vadim Malvone, Ferucio Laurentiu Tiplea
2020	A*	`conf`	A Three-valued Approach to Strategic Abilities under Imperfect Information. KR Francesco Belardinelli, Vadim Malvone
2020	—	`conf`	Natural Strategic Abilities in Voting Protocols. STAST Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone
2020	J	`jnl`	Natural Strategic Abilities in Voting Protocols. CoRR Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone
2020	A	`conf`	Verifying Strategic Abilities in Multi-Agent Systems via First-Order Entailment. ECAI Francesco Belardinelli, Vadim Malvone
2019	A*	`conf`	An Abstraction-Based Method for Verifying Strategic Properties in Multi-Agent Systems with Imperfect Information. AAAI Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone
2019	B	`conf`	Decidable Verification of Agent-Based Data-Aware Systems. PRIMA Francesco Belardinelli, Vadim Malvone
2019	J	`jnl`	Model Checking ATL* on vCGS. CoRR Francesco Belardinelli, Catalin Dima, Ioana Boureanu, Vadim Malvone
2019	A	`conf`	Natural Strategic Ability under Imperfect Information. AAMAS Wojciech Jamroga, Vadim Malvone, Aniello Murano
2019	J	`jnl`	Natural strategic ability. Artif. Intell. Wojciech Jamroga, Vadim Malvone, Aniello Murano
2019	A*	`conf`	Strategy Logic with Simple Goals: Tractable Reasoning about Strategies. IJCAI Francesco Belardinelli, Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone, Aniello Murano
2019	A	`conf`	Verifying Strategic Abilities in Multi-agent Systems with Private Data-Sharing. AAMAS Francesco Belardinelli, Ioana Boureanu, Catalin Dima, Vadim Malvone
2018	J	`jnl`	Additional Winning Strategies in Reachability Games. Fundam. Informaticae Vadim Malvone, Aniello Murano, Loredana Sorrentino
2018	A*	`conf`	Approximating Perfect Recall When Model Checking Strategic Abilities. KR Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone
2018	A	`conf`	Dynamic Escape Game. AAMAS Antonio Di Stasio, Paolo Domenico Lambiase, Vadim Malvone, Aniello Murano
2018	J	`jnl`	Graded modalities in Strategy Logic. Inf. Comput. Benjamin Aminof, Vadim Malvone, Aniello Murano, Sasha Rubin
2018	J	`jnl`	Reasoning about graded strategy quantifiers. Inf. Comput. Vadim Malvone, Fabio Mogavero, Aniello Murano, Loredana Sorrentino
2018	—	`—`	Strategic Reasoning in Game Theory. Vadim Malvone
2017	A	`conf`	Hiding Actions in Multi-Player Games. AAMAS Vadim Malvone, Aniello Murano, Loredana Sorrentino
2017	—	`conf`	Reasoning About Additional Winning Strategies in Two-Player Games. EUMAS/AT Vadim Malvone, Aniello Murano
2017	A	`conf`	Reasoning about Natural Strategic Ability. AAMAS Wojciech Jamroga, Vadim Malvone, Aniello Murano
2016	—	`conf`	Additional Winning Strategies in Two-Player Games. ICTCS Vadim Malvone, Aniello Murano
2016	A	`conf`	Concurrent Multi-Player Parity Games. AAMAS Vadim Malvone, Aniello Murano, Loredana Sorrentino
2016	—	`conf`	Extended Graded Modalities in Strategy Logic. SR Benjamin Aminof, Vadim Malvone, Aniello Murano, Sasha Rubin
2016	A	`conf`	Graded Strategy Logic: Reasoning about Uniqueness of Nash Equilibria. AAMAS Benjamin Aminof, Vadim Malvone, Aniello Murano, Sasha Rubin
2016	A	`conf`	Hiding Actions in Concurrent Games. ECAI Vadim Malvone, Aniello Murano, Loredana Sorrentino
2016	A	`conf`	NWin: A Tool for Counting Winning Strategies (Demonstration). AAMAS Vadim Malvone, Aniello Murano, Marco Tafuto
2015	—	`conf`	Games with additional winning strategies. CILC Vadim Malvone, Aniello Murano, Loredana Sorrentino
2015	C	`conf`	On the Counting of Strategies. TIME Vadim Malvone, Fabio Mogavero, Aniello Murano, Loredana Sorrentino