default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDVadim Malvone
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c57]Gabriel Ballot, Vadim Malvone, Jean Leneutre, Youssef Laarouchi:
Strategic Reasoning under Capacity-constrained Agents. AAMAS 2024: 123-131- [c56]Davide Catta, Jean Leneutre, Vadim Malvone, Aniello Murano:
Obstruction Alternating-time Temporal Logic: A Strategic Logic to Reason about Dynamic Models. AAMAS 2024: 271-280 - [c55]Davide Catta, Jean Leneutre, Antonina Mijatovic, Johanna Ulin, Vadim Malvone:
A Formal Verification Approach to Handle Attack Graphs. ICAART (3) 2024: 125-132 - [c54]Massimo Bartoletti
, Angelo Ferrando, Enrico Lipparini, Vadim Malvone:
Solvent: Liquidity Verification of Smart Contracts. IFM 2024: 256-266 - [c53]Davide Catta, Angelo Ferrando, Vadim Malvone:
Resource Action-Based Bounded ATL: A New Logic for MAS to Express a Cost Over the Actions. PRIMA 2024: 206-223 - [c52]Angelo Ferrando, Giulia Luongo, Vadim Malvone, Aniello Murano:
Theory and Practice of Quantitative ATL. PRIMA 2024: 231-247 - [c51]Angelo Ferrando, Vadim Malvone:
Towards a Compositional and User-friendly Tool for Multi-Agent Systems Verification (short paper). AI4CC-IPS-RCRA-SPIRIT@AI*IA 2024 - [c50]Marco Aruta, Vadim Malvone, Aniello Murano:
Development of Natural Strategies in Strategic Logics (short paper). AI4CC-IPS-RCRA-SPIRIT@AI*IA 2024 - [c49]Jean Leneutre, Vadim Malvone, James Ortiz:
Reasoning about Real-Time and Probability on Obstruction Logic. AI4CC-IPS-RCRA-SPIRIT@AI*IA 2024 - [c48]Angelo Ferrando, Vadim Malvone:
Hands-on VITAMIN: A Compositional Tool for Model Checking of Multi-Agent Systems. WOA 2024: 148-160 - [i16]Angelo Ferrando, Vadim Malvone:
VITAMIN: A Compositional Framework for Model Checking of Multi-Agent Systems. CoRR abs/2403.02170 (2024) - [i15]Massimo Bartoletti, Angelo Ferrando, Enrico Lipparini, Vadim Malvone:
Solvent: liquidity verification of smart contracts. CoRR abs/2404.17864 (2024) - [i14]Angelo Ferrando, Vadim Malvone:
Runtime Verification via Rational Monitor with Imperfect Information. CoRR abs/2408.11627 (2024) - [i13]Marco Aruta, Vadim Malvone, Aniello Murano:
A Model Checker for Natural Strategic Ability. CoRR abs/2410.14374 (2024) - [i12]Jean Leneutre, Vadim Malvone, James Ortiz:
Probabilistic Obstruction Temporal Logic: a Probabilistic Logic to Reason about Dynamic Models. CoRR abs/2411.00025 (2024) - 2023
- [j8]Francesco Belardinelli, Angelo Ferrando, Vadim Malvone:
An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information. Artif. Intell. 316: 103847 (2023) - [j7]Davide Catta, Jean Leneutre, Vadim Malvone:
Attack Graphs & Subset Sabotage Games. Intelligenza Artificiale 17(1): 77-88 (2023) - [c47]Francesco Belardinelli, Ioana Boureanu, Vadim Malvone, Fortunat Rajaona:
Automatically Verifying Expressive Epistemic Properties of Programs. AAAI 2023: 6245-6252 - [c46]Davide Catta, Jean Leneutre, Vadim Malvone:
Reasoning About Dynamic Game Models Using Obstruction Logic (short paper). IPS-RCRA-SPIRIT@AI*IA 2023 - [c45]Angelo Ferrando, Vadim Malvone:
Towards the Verification of Strategic Properties in Multi-Agent Systems with Imperfect Information. AAMAS 2023: 793-801 - [c44]Davide Catta, Jean Leneutre, Vadim Malvone:
Obstruction Logic: A Strategic Temporal Logic to Reason About Dynamic Game Models. ECAI 2023: 365-372 - [c43]Solofomampionona Fortunat Rajaona, Ioana Boureanu, Vadim Malvone, Francesco Belardinelli:
Program Semantics and Verification Technique for AI-Centred Programs. FM 2023: 473-491 - [c42]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: 72-94 - [c41]Angelo Ferrando, Vadim Malvone:
How to Find Good Coalitions to Achieve Strategic Objectives. ICAART (1) 2023: 105-113 - [c40]Davide Catta, Antonio Di Stasio, Jean Leneutre, Vadim Malvone, Aniello Murano:
A Game Theoretic Approach to Attack Graphs. ICAART (1) 2023: 347-354 - [c39]Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga, Vadim Malvone, Aniello Murano:
Scalable Verification of Strategy Logic through Three-Valued Abstraction. IJCAI 2023: 46-54 - [c38]Angelo Ferrando, Vadim Malvone, Aniello Murano, Silvia Stranieri:
HYASM: A Tool to Verify Hierarchical Systems. WETICE 2023: 1-6 - [c37]Hisham Unniyankal, Francesco Belardinelli, Angelo Ferrando, Vadim Malvone:
RMLGym: a Formal Reward Machine Framework for Reinforcement Learning. WOA 2023: 1-16 - [c36]Davide Catta, Vadim Malvone, Aniello Murano:
Reasoning about Intuitionistic Computation Tree Logic. AREA@ECAI 2023: 42-48 - [c35]Vadim Malvone:
The Impact of Strategies and Information in Model Checking for Multi-Agent Systems. AREA@ECAI 2023: 63-70 - [c34]Francesco Belardinelli, Angelo Ferrando, Vadim Malvone:
3vLTL: A Tool to Generate Automata for Three-valued LTL. FMAS@iFM 2023: 180-187 - [e2]Riccardo De Benedictis, Matteo Castiglioni, Diodato Ferraioli, Vadim Malvone, Marco Maratea, Enrico Scala, Luciano Serafini, Ivan Serina, Elisa Tosello, Alessandro Umbrico, Mauro Vallati:
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. CEUR Workshop Proceedings 3585, CEUR-WS.org 2023 [contents] - [e1]Vadim Malvone, Aniello Murano:
Multi-Agent Systems - 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings. Lecture Notes in Computer Science 14282, Springer 2023, ISBN 978-3-031-43263-7 [contents] - [i11]Gabriel Ballot, Vadim Malvone, Jean Leneutre, Youssef Laarouchi:
Capacity ATL. CoRR abs/2308.11039 (2023) - [i10]Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga, Vadim Malvone, Aniello Murano:
Scalable Verification of Strategy Logic through Three-valued Abstraction. CoRR abs/2310.17219 (2023) - 2022
- [j6]Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone, Emily Yu:
Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications. J. Artif. Intell. Res. 73: 897-932 (2022) - [j5]Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone:
How to measure usable security: Natural strategies in voting protocols. J. Comput. Secur. 30(3): 381-409 (2022) - [c33]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 - [c32]Davide Catta, Jean Leneutre, Vadim Malvone:
Towards a Formal Verification of Attack Graphs. IPS/RiCeRcA/SPIRIT@AI*IA 2022 - [c31]Francesco Belardinelli, Wojtek Jamroga, Vadim Malvone, Munyque Mittelmann, Aniello Murano, Laurent Perrussel:
Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions. AAMAS 2022: 62-71 - [c30]Gabriel Ballot, Vadim Malvone, Jean Leneutre, Etienne Borde:
Reasoning about Moving Target Defense in Attack Modeling Formalisms. MTD@CCS 2022: 55-65 - [c29]Francesco Belardinelli, Borja G. León, Vadim Malvone:
Enabling Markovian Representations under Imperfect Information. ICAART (2) 2022: 450-457 - [c28]Angelo Ferrando, Vadim Malvone:
Towards the Combination of Model Checking and Runtime Verification on Multi-agent Systems. PAAMS 2022: 140-152 - [c27]Angelo Ferrando, Vadim Malvone:
Runtime Verification with Imperfect Information Through Indistinguishability Relations. SEFM 2022: 335-351 - [c26]Davide Catta, Jean Leneutre, Vadim Malvone:
Subset sabotage games & attack graphs. WOA 2022: 209-218 - [i9]Francesco Belardinelli, Wojtek Jamroga, Vadim Malvone, Munyque Mittelmann, Aniello Murano, Laurent Perrussel:
Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions. CoRR abs/2201.09616 (2022) - [i8]Angelo Ferrando, Vadim Malvone:
Towards the Combination of Model Checking and Runtime Verification on Multi-Agent Systems. CoRR abs/2202.09344 (2022) - [i7]Francesco Belardinelli, Ioana Boureanu, Catalin Dima, Vadim Malvone:
Model Checking Strategic Abilities in Information-sharing Systems. CoRR abs/2204.08896 (2022) - [i6]Francesco Belardinelli, Ioana Boureanu, Vadim Malvone, Solofomampionona Fortunat Rajaona:
Program Semantics and a Verification Technique for Knowledge-Based Multi-Agent Systems. CoRR abs/2206.13841 (2022) - [i5]Gabriel Ballot, Vadim Malvone, Jean Leneutre, Etienne Borde:
Reasoning about Moving Target Defense in Attack Modeling Formalisms. CoRR abs/2206.14076 (2022) - 2021
- [c25]Angelo Ferrando, Vadim Malvone:
Strategy RV: A Tool to Approximate ATL Model Checking under Imperfect Information and Perfect Recall. AAMAS 2021: 1764-1766 - [c24]Angelo Ferrando, Vadim Malvone:
Combine Model Checking and Runtime Verification in Multi-Agent Systems. ICTCS 2021: 302-310 - [c23]Vadim Malvone, Silvia Stranieri:
Towards a Model Checking Tool for Strategy Logic with Simple Goals. ICTCS 2021: 311-316 - [i4]Angelo Ferrando, Vadim Malvone:
Towards the Verification of Strategic Properties in Multi-Agent Systems with Imperfect Information. CoRR abs/2112.13621 (2021) - 2020
- [c22]Francesco Belardinelli, Vadim Malvone:
Verifying Strategic Abilities in Multi-Agent Systems via First-Order Entailment. ECAI 2020: 27-34 - [c21]Francesco Belardinelli, Vadim Malvone:
A Three-valued Approach to Strategic Abilities under Imperfect Information. KR 2020: 89-98 - [c20]Francesco Belardinelli, Catalin Dima, Vadim Malvone, Ferucio Laurentiu Tiplea:
A Hennessy-Milner Theorem for ATL with Imperfect Information. LICS 2020: 181-194 - [c19]Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone:
Natural Strategic Abilities in Voting Protocols. STAST 2020: 45-62 - [i3]Francesco Belardinelli, Catalin Dima, Vadim Malvone, Ferucio Laurentiu Tiplea:
A Hennessy-Milner Theorem for ATL with Imperfect Information. CoRR abs/2006.15000 (2020) - [i2]Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone:
Natural Strategic Abilities in Voting Protocols. CoRR abs/2007.12424 (2020)
2010 – 2019
- 2019
- [j4]Wojciech Jamroga, Vadim Malvone, Aniello Murano:
Natural strategic ability. Artif. Intell. 277 (2019) - [c18]Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone:
An Abstraction-Based Method for Verifying Strategic Properties in Multi-Agent Systems with Imperfect Information. AAAI 2019: 6030-6037 - [c17]Wojciech Jamroga, Vadim Malvone, Aniello Murano:
Natural Strategic Ability under Imperfect Information. AAMAS 2019: 962-970 - [c16]Francesco Belardinelli, Ioana Boureanu, Catalin Dima, Vadim Malvone:
Verifying Strategic Abilities in Multi-agent Systems with Private Data-Sharing. AAMAS 2019: 1820-1822 - [c15]Francesco Belardinelli, Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone, Aniello Murano:
Strategy Logic with Simple Goals: Tractable Reasoning about Strategies. IJCAI 2019: 88-94 - [c14]Francesco Belardinelli, Vadim Malvone:
Decidable Verification of Agent-Based Data-Aware Systems. PRIMA 2019: 52-68 - [i1]Francesco Belardinelli, Catalin Dima, Ioana Boureanu, Vadim Malvone:
Model Checking ATL* on vCGS. CoRR abs/1903.04350 (2019) - 2018
- [b1]Vadim Malvone:
Strategic Reasoning in Game Theory. University of Naples Federico II, Italy, 2018 - [j3]Vadim Malvone, Aniello Murano, Loredana Sorrentino:
Additional Winning Strategies in Reachability Games. Fundam. Informaticae 159(1-2): 175-195 (2018) - [j2]Vadim Malvone, Fabio Mogavero, Aniello Murano, Loredana Sorrentino:
Reasoning about graded strategy quantifiers. Inf. Comput. 259(3): 390-411 (2018) - [j1]Benjamin Aminof, Vadim Malvone, Aniello Murano, Sasha Rubin:
Graded modalities in Strategy Logic. Inf. Comput. 261: 634-649 (2018) - [c13]Antonio Di Stasio, Paolo Domenico Lambiase, Vadim Malvone, Aniello Murano:
Dynamic Escape Game. AAMAS 2018: 1806-1808 - [c12]Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone:
Approximating Perfect Recall When Model Checking Strategic Abilities. KR 2018: 435-444 - 2017
- [c11]Wojciech Jamroga, Vadim Malvone, Aniello Murano:
Reasoning about Natural Strategic Ability. AAMAS 2017: 714-722 - [c10]Vadim Malvone, Aniello Murano, Loredana Sorrentino:
Hiding Actions in Multi-Player Games. AAMAS 2017: 1205-1213 - [c9]Vadim Malvone, Aniello Murano:
Reasoning About Additional Winning Strategies in Two-Player Games. EUMAS/AT 2017: 163-171 - 2016
- [c8]Vadim Malvone, Aniello Murano, Loredana Sorrentino:
Concurrent Multi-Player Parity Games. AAMAS 2016: 689-697 - [c7]Benjamin Aminof, Vadim Malvone, Aniello Murano, Sasha Rubin:
Graded Strategy Logic: Reasoning about Uniqueness of Nash Equilibria. AAMAS 2016: 698-706 - [c6]Vadim Malvone, Aniello Murano, Marco Tafuto:
NWin: A Tool for Counting Winning Strategies (Demonstration). AAMAS 2016: 1501-1503 - [c5]Vadim Malvone, Aniello Murano, Loredana Sorrentino:
Hiding Actions in Concurrent Games. ECAI 2016: 1686-1687 - [c4]Vadim Malvone, Aniello Murano:
Additional Winning Strategies in Two-Player Games. ICTCS 2016: 251-256 - [c3]Benjamin Aminof, Vadim Malvone, Aniello Murano, Sasha Rubin:
Extended Graded Modalities in Strategy Logic. SR 2016: 1-14 - 2015
- [c2]Vadim Malvone, Aniello Murano, Loredana Sorrentino:
Games with additional winning strategies. CILC 2015: 175-180 - [c1]Vadim Malvone, Fabio Mogavero, Aniello Murano, Loredana Sorrentino:
On the Counting of Strategies. TIME 2015: 170-179
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-18 02:04 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
