Vadim Malvone
42
Documents
Présentation
I am an Associate Professor in the Computer Science and Networks department (INFRES) of Télécom Paris .
From November 2017 to June 2020, I was a postdoctoral researcher at the University of Evry under the supervision of Francesco Belardinelli. In February 2018, I obtained my Ph.D. in Computer Science at the University of Naples "Federico II", with a thesis titled "Strategic Reasoning in Game Theory", developed under the supervision of Aniello Murano. During my Ph.D. program, I was a visiting researcher at the Polish Academy of Sciences, under the supervision of Wojtek Jamroga. In July 2014, I obtained my Master's degree in Computer Science, with a thesis titled "Graded modalities in strategic reasoning", developed under the supervision of Aniello Murano and Fabio Mogavero. In December 2010, I obtained my Bachelor's degree in Computer Science, with a thesis titled "Implementazione di un algoritmo di verifica formale per programmi gerarchici nel tool Yasm" (Implementation of a formal verification algorithm for hierarchical programs in the Yasm tool), developed under the supervision of Aniello Murano.
My research interests include:
- Strategic reasoning and multi-agent systems;
- Formal specification and verification of systems;
- Temporal and strategic logics;
- Games in theoretical computer science.
Publications
Reasoning about Intuitionistic Computation Tree LogicAREA 2023, Sep 2023, Krakow (Cracovie), Poland. pp.42-48, ⟨10.4204/EPTCS.391.6⟩
Communication dans un congrès
hal-04336273v1
|
|
How to Find Good Coalitions to Achieve Strategic Objectives15th International Conference on Agents and Artificial Intelligence, Feb 2023, Lisbon, Portugal. pp.105-113, ⟨10.5220/0011778700003393⟩
Communication dans un congrès
hal-04336255v1
|
|
Towards the Verification of Strategic Properties in Multi-Agent Systems with Imperfect InformationAAMAS, May 2023, London, United Kingdom
Communication dans un congrès
hal-04336296v1
|
|
Program Semantics and Verification Technique for AI-Centred ProgramsFM 2023 : 25th International Symposium on Formal Methods, Formal Methods Europe (FME), Mar 2023, Lubeck, Germany. pp.473-491, ⟨10.1007/978-3-031-27481-7_27⟩
Communication dans un congrès
hal-04336339v1
|
|
The Impact of Strategies and Information in Model Checking for Multi-Agent SystemsAREA 2023, Sep 2023, Krakow (Cracovie), Poland. pp.63-70, ⟨10.4204/EPTCS.391.8⟩
Communication dans un congrès
hal-04336278v1
|
|
|
Reasoning About Dynamic Game Models Using Obstruction Logic (short paper)IPS-RCRA-SPIRIT@AI*IA, Nov 2023, Rome, Italy
Communication dans un congrès
hal-04427546v1
|
Automatically Verifying Expressive Epistemic Properties of ProgramsThe Thirty-Seventh AAAI Conference on Artificial Intelligence, Feb 2023, Washington, United States. pp.6245-6252, ⟨10.1609/AAAI.V37I5.25769⟩
Communication dans un congrès
hal-04336236v1
|
|
Obstruction Logic: A Strategic Temporal Logic to Reason About Dynamic Game ModelsECAI, Sep 2023, Kracow, Poland. pp.365 - 372, ⟨10.3233/FAIA230292⟩
Communication dans un congrès
hal-04336248v1
|
|
|
A Game Theoretic Approach to Attack GraphsICAART 2023 - 15th International Conference on Agents and Artificial Intelligence, Feb 2023, Lisbon, Portugal. pp.347-354, ⟨10.5220/0011776900003393⟩
Communication dans un congrès
hal-04336262v1
|
Scalable Verification of Strategy Logic through Three-Valued AbstractionThirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23}, Aug 2023, Macau, China. pp.46-54, ⟨10.24963/IJCAI.2023/6⟩
Communication dans un congrès
hal-04336265v1
|
|
Towards the Combination of Model Checking and Runtime Verification on Multi-agent SystemsPAAMS, Jul 2022, L'aquila, Italy
Communication dans un congrès
hal-04336322v1
|
|
|
Subset sabotage games & attack graphsWOA 2022 - 23rd Workshop From Objects to Agents, Sep 2022, Genova, Italy
Communication dans un congrès
hal-04336385v1
|
Enabling Markovian Representations under Imperfect Information14th International Conference on Agents and Artificial Intelligence (ICAART 2022), Feb 2022, Online Streaming, France. pp.450-457, ⟨10.5220/0010882200003116⟩
Communication dans un congrès
hal-03779034v1
|
|
|
Towards a Formal Verification of Attack GraphsSPIRIT 2022 - Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy, Nov 2022, Udine, Italy
Communication dans un congrès
hal-04336392v1
|
Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions21st International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2022), International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), May 2022, Auckland (virtual), New Zealand. pp.62--71
Communication dans un congrès
hal-03666430v1
|
|
Reasoning about Moving Target Defense in Attack Modeling FormalismsMTD'22: Proceedings of the 9th ACM Workshop on Moving Target Defense, Nov 2022, Los Angeles CA USA, United States. pp.55-65, ⟨10.1145/3560828.3564009⟩
Communication dans un congrès
hal-04336316v1
|
|
Runtime Verification with Imperfect Information Through Indistinguishability RelationsSEFM 2022: 20th International Conference on Software Engineering and Formal Methods, Institute of Computer Science of Humboldt University Berlin (DE); School of Electronic and Information Engineering of Beijing Jiaotong University (CN), Sep 2022, Berlin, Germany. pp.335-351, ⟨10.1007/978-3-031-17108-6_21⟩
Communication dans un congrès
hal-04336329v1
|
|
Give Me a Hand: How to Use Model Checking for Multi-Agent Systems to Help Runtime Verification and Vice VersaSPIRIT, Nov 2022, Udine, Italy
Communication dans un congrès
hal-04336398v1
|
|
Towards a Model Checking Tool for Strategy Logic with Simple GoalsICTCS, Sep 2021, Bologna, Italy
Communication dans un congrès
hal-04336416v1
|
|
Strategy RV: A Tool to Approximate ATL Model Checking under Imperfect Information and Perfect RecallAAMAS, May 2021, Online, United Kingdom
Communication dans un congrès
hal-04336405v1
|
|
Combine Model Checking and Runtime Verification in Multi-Agent SystemsICTCS, Sep 2021, Bologna, Italy
Communication dans un congrès
hal-04336413v1
|
|
A Hennessy-Milner Theorem for ATL with Imperfect Information35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020), Jul 2020, Saarbrücken, Germany. pp.181--194, ⟨10.1145/3373718.3394784⟩
Communication dans un congrès
hal-02867538v1
|
|
|
Verifying Strategic Abilities in Multi-agent Systems via First-order Entailment24th European Conference on Artificial Intelligence (ECAI 2020), Aug 2020, Santiago de Compostela, Spain
Communication dans un congrès
hal-03170192v1
|
|
A Three-valued Approach to Strategic Abilities under Imperfect Information17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Sep 2020, Rhodes, Greece
Communication dans un congrès
hal-03170197v1
|
|
Strategy logic with simple goals: Tractable reasoning about strategies28th International Joint Conference on Artificial Intelligence (IJCAI 2019), Aug 2019, Macao, China. pp.88--94
Communication dans un congrès
hal-02377403v1
|
Decidable Verification of Agent-Based Data-Aware SystemsPrinciples and Practice of Multi-Agent Systems (PRIMA 2019), Oct 2019, Torino, Italy. pp.52--68, ⟨10.1007/978-3-030-33792-6_4⟩
Communication dans un congrès
hal-02422205v1
|
|
Verifying strategic abilities in multi-agent systems with private-data sharing18th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2019), May 2019, Montreal, Canada. pp.1820--1822
Communication dans un congrès
hal-02428214v1
|
|
An Abstraction-Based Method for Verifying Strategic Properties in Multi-Agent Systems with Imperfect Information33rd AAAI Conference on Artificial Intelligence (AAAI 2019), Jan 2019, Hawai, United States. pp.6030--6037, ⟨10.1609/aaai.v33i01.33016030⟩
Communication dans un congrès
hal-02377457v1
|
|
Natural strategic ability under imperfect information18th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2019), May 2019, Montreal, Canada. pp.962--970
Communication dans un congrès
hal-02428208v1
|
|
On the Counting of Strategies2015 22nd International Symposium on Temporal Representation and Reasoning (TIME), Sep 2015, Kassel, Germany. pp.170-179, ⟨10.1109/TIME.2015.19⟩
Communication dans un congrès
hal-03779058v1
|
Natural Strategic Abilities in Voting ProtocolsSocio-Technical Aspects in Security and Trust, 12812, Springer International Publishing, pp.45-62, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-79318-0_3⟩
Chapitre d'ouvrage
hal-03779036v1
|
|
Reasoning About Additional Winning Strategies in Two-Player GamesMulti-Agent Systems and Agreement Technologies, 10767, Springer International Publishing, pp.163--171, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-01713-2_12⟩
Chapitre d'ouvrage
hal-03779065v1
|
Reasoning about Moving Target Defense in Attack Modeling Formalisms2022
Pré-publication, Document de travail
hal-04427676v1
|