
Vadim Malvone
45
Documents
Présentation
Publications
Publications
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⟩
Communication dans un congrès
hal-04580662
v1
|
|
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⟩
Communication dans un congrès
hal-04580667
v1
|
|
|
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⟩
Communication dans un congrès
hal-04580655
v1
|
|
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-04336255
v1
|
Towards the Verification of Strategic Properties in Multi-Agent Systems with Imperfect InformationAAMAS, May 2023, London, United Kingdom
Communication dans un congrès
hal-04336296
v1
|
|
|
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-04336339
v1
|
|
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-04336236
v1
|
|
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-04336273
v1
|
|
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-04336248
v1
|
|
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-04336262
v1
|
|
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-04427546
v1
|
|
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-04336278
v1
|
|
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-04336265
v1
|
|
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-04336392
v1
|
Towards the Combination of Model Checking and Runtime Verification on Multi-agent SystemsPAAMS, Jul 2022, L'aquila, Italy
Communication dans un congrès
hal-04336322
v1
|
|
|
Subset sabotage games & attack graphsWOA 2022 - 23rd Workshop From Objects to Agents, Sep 2022, Genova, Italy
Communication dans un congrès
hal-04336385
v1
|
|
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-03666430
v1
|
|
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-04336316
v1
|
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-04336398
v1
|
|
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-04336329
v1
|
|
|
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-03779034
v1
|
Towards a Model Checking Tool for Strategy Logic with Simple GoalsICTCS, Sep 2021, Bologna, Italy
Communication dans un congrès
hal-04336416
v1
|
|
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-04336405
v1
|
|
Combine Model Checking and Runtime Verification in Multi-Agent SystemsICTCS, Sep 2021, Bologna, Italy
Communication dans un congrès
hal-04336413
v1
|
|
|
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-02867538
v1
|
|
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-03170197
v1
|
|
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-03170192
v1
|
|
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-02377403
v1
|
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-02422205
v1
|
|
|
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
Communication dans un congrès
hal-04572109
v1
|
|
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-02377457
v1
|
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-02428208
v1
|
|
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-03779058
v1
|
|
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-03779036
v1
|
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-03779065
v1
|
|
Reasoning about Moving Target Defense in Attack Modeling Formalisms2022
Pré-publication, Document de travail
hal-04427676
v1
|
Chargement...
Chargement...