Thomas Neele: Reductions for Parity Games and Model Checking


Event Details


On September 16th 2020, Thomas Neele will defend his thesis title ‘Reductions for Parity Games and Model Checking’, which is available here. The defence will be streamed online via MS Teams. The link to the stream is available on request from t.s.neele@tue.nl.