Vadim Malvone
Présentation
Publications
Publications
|
|
Extending Timed Automata with Clock DerivativesIntegrated Formal Methods, Nov 2025, Paris, France. pp.99-119, ⟨10.1007/978-3-032-10794-7_6⟩ |
Strategic Reasoning under Capacity-constrained Agents23rd International Conference on Autonomous Agents and Multiagent Systems (AAMAS), May 2024, Auckland (Nouvelle Zelande), New Zealand. pp.123--131, ⟨10.5555/3635637.3662859⟩ |
|
Obstruction Alternating-time Temporal Logic: A Strategic Logic to Reason about Dynamic Models23rd International Conference on Autonomous Agents and Multiagent Systems (AAMAS), May 2024, Auckland (Nouvelle Zelande), New Zealand. ⟨10.5555/3635637.3662875⟩ |
|
|
|
A Formal Verification Approach to Handle Attack Graphs16th International Conference on Agents and Artificial Intelligence, Feb 2024, Rome, Italy. pp.125-132, ⟨10.5220/0012310000003636⟩ |
Towards the Verification of Strategic Properties in Multi-Agent Systems with Imperfect InformationAAMAS, May 2023, London, United Kingdom |
|
|
|
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⟩ |
|
|
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⟩ |
|
|
Reasoning about Intuitionistic Computation Tree LogicAREA 2023, Sep 2023, Krakow (Cracovie), Poland. pp.42-48, ⟨10.4204/EPTCS.391.6⟩ |
|
|
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⟩ |
|
|
Obstruction Logic: A Strategic Temporal Logic to Reason About Dynamic Game ModelsECAI, Sep 2023, Kracow, Poland. pp.365 - 372, ⟨10.3233/FAIA230292⟩ |
|
|
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⟩ |
|
|
Reasoning About Dynamic Game Models Using Obstruction Logic (short paper)IPS-RCRA-SPIRIT@AI*IA, Nov 2023, Rome, Italy |
|
|
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⟩ |
|
|
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⟩ |
|
|
Towards a Formal Verification of Attack GraphsSPIRIT 2022 - Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy, Nov 2022, Udine, Italy |
Towards the Combination of Model Checking and Runtime Verification on Multi-agent SystemsPAAMS, Jul 2022, L'aquila, Italy |
|
|
|
Subset sabotage games & attack graphsWOA 2022 - 23rd Workshop From Objects to Agents, Sep 2022, Genova, Italy |
|
|
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⟩ |
|
|
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 |
|
|
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⟩ |
Give Me a Hand: How to Use Model Checking for Multi-Agent Systems to Help Runtime Verification and Vice VersaSPIRIT, Nov 2022, Udine, Italy |
|
|
|
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⟩ |
Towards a Model Checking Tool for Strategy Logic with Simple GoalsICTCS, Sep 2021, Bologna, Italy |
|
Combine Model Checking and Runtime Verification in Multi-Agent SystemsICTCS, Sep 2021, Bologna, Italy |
|
Strategy RV: A Tool to Approximate ATL Model Checking under Imperfect Information and Perfect RecallAAMAS, May 2021, Online, United Kingdom |
|
|
|
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⟩ |
|
|
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 |
|
|
Verifying Strategic Abilities in Multi-agent Systems via First-order Entailment24th European Conference on Artificial Intelligence (ECAI 2020), Aug 2020, Santiago de Compostela, Spain |
|
|
Strategy logic with simple goals: Tractable reasoning about strategies28th International Joint Conference on Artificial Intelligence (IJCAI 2019), Aug 2019, Macao, China. pp.88--94 |
|
|
Natural strategic ability under imperfect information18th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2019), May 2019, Montreal, Canada. pp.962--970 |
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⟩ |
|
|
|
Verifying Strategic Abilities in Multi-agent Systems with Private-Data SharingProceedings of the 18th International Conference on Autonomous Agents and Multi Agent Systems (AAMAS'19), May 2019, Montreal, France |
|
|
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⟩ |
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⟩ |
|
|
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⟩ |
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⟩ |
|
|
MMA-RAG: A Survey on Multimodal Agentic Retrieval-Augmented Generation2025 |
|
|
Reasoning about Moving Target Defense in Attack Modeling Formalisms2022 |