Group colloquium: Model Checking Strategic Ability: Why, What, and Especially: How?

When: July 13, 2018, 11:00-12:00

Where: HB 2A

Who: Wojtek Jamroga

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.