2026-07-21T20:32:01Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:9768 2024-03-06T10:44:53Z ddc:004 open_access

Model Checking Strategic Ability - Why, What, and Especially: How? (Invited Paper) Jamroga, Wojciech model checking strategic ability alternating-time temporal logic imperfect information games approximate verification model reductions Automated verification of discrete-state systems has been a hot topic in computer science for over 35 years. Model checking of temporal and strategic properties is one of the most prominent and most successful approaches here. In this talk, I present a brief introduction to the topic, and mention some relevant properties that one might like to verify this way. Then, I describe some recent results on approximate model checking and model reductions, which can be applied to facilitate verification of notoriously hard cases. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Wojciech Jamroga 2018 Is Part Of LIPIcs, Volume 120, 25th International Symposium on Temporal Representation and Reasoning (TIME 2018) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.TIME.2018.3 urn:nbn:de:0030-drops-97681 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2018.3 eng https://creativecommons.org/licenses/by/3.0/legalcode