Jul 13, 2018: Wojtek Jamroga: Model Checking Strategic Ability: Why, What, and Especially: How?

July 13, 2018Model Checking Strategic Ability: Why, What, and Especially: How?
Room: HB 2AWojtek Jamroga
11:00-12:00

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. I will present a brief introduction to the topic, and
mention some relevant properties that one might like to verify this way.
Then, I will talk about some recent results on approximate model
checking and model reductions, which can be applied to facilitate
verification of notoriously hard cases.