Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information., , and . Artif. Intell., (March 2023)Towards the Combination of Model Checking and Runtime Verification on Multi-agent Systems., and . PAAMS, volume 13616 of Lecture Notes in Computer Science, page 140-152. Springer, (2022)Combine Model Checking and Runtime Verification in Multi-Agent Systems., and . ICTCS, volume 3072 of CEUR Workshop Proceedings, page 302-310. CEUR-WS.org, (2021)How to Find Good Coalitions to Achieve Strategic Objectives., and . ICAART (1), page 105-113. SCITEPRESS, (2023)A Formal Verification Approach to Handle Attack Graphs., , , , and . ICAART (3), page 125-132. SCITEPRESS, (2024)Give Me a Hand: How to Use Model Checking for Multi-Agent Systems to Help Runtime Verification and Vice Versa (Short Paper)., and . IPS/RiCeRcA/SPIRIT@AI*IA, volume 3345 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)Obstruction Alternating-time Temporal Logic: A Strategic Logic to Reason about Dynamic Models., , , and . AAMAS, page 271-280. International Foundation for Autonomous Agents and Multiagent Systems / ACM, (2024)VITAMIN: A Compositional Framework for Model Checking of Multi-Agent Systems., and . CoRR, (2024)Coalition Alternating-Time Temporal Logic: A Logic to Find Good Coalitions to Achieve Strategic Objectives., , and . ICAART (Revised Selected Paper), volume 14546 of Lecture Notes in Computer Science, page 72-94. Springer, (2023)A Game Theoretic Approach to Attack Graphs., , , , and . ICAART (1), page 347-354. SCITEPRESS, (2023)