Simulation between games

Prelegent(ci)

Wojciech Czerwinski

Afiliacja

Uniwersytet Warszawski

Termin

24 października 2007 14:15

Pokój

p. 5870

Seminarium

Seminarium „Teoria automatów”

---

I will show some results of my investigations on bisimulation with a weakened winning condition for Spoiler. I will present a polynomial algorithm deciding this (modified) bisimulation between Buchi games. I will also talk about positionality, and other types of bisimulation.

---