Date and Time: Thursday, 31 March 2011, 15:45 - 16:45

Location: HG 6.96

Speaker: Sjoerd Cranen (TU/e / OAS)

Title: Stuttering and Parity Games

Abstract:

The notion of stuttering equivalence has long been used to reduce the size of statespaces, but can be adapted to work for another type of graph in the model checking process: parity games. While it might not be self-evident that stuttering equivalence reduction should have a positive effect on parity games, we show that this technique in practice offers a promising new perspective on how model checking efficiency could be improved.