I will talk about parity games. The first objective is to show where they appear in verification and synthesis, in particular as algorithmic back end for model checking different logical formalisms.
The second objective is to present the latest results on this model, which are neatly explained using the newly introduced notion of universal graphs.
Program Display Configuration
Sat 6 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Viennachange
Timo Lang Vienna University of Technology, Chris Fermüller Vienna University of Technology, Elaine Pimentel Federal University of Rio Grande do Norte, Brazil, Carlos Olarte Federal University of Rio Grande do Norte, Brazil
