Simulation between games

Speaker(s)

Wojciech Czerwinski

Affiliation

Uniwersytet Warszawski

Date

Oct. 24, 2007, 2:15 p.m.

Room

room 5870

Seminar

Seminar Automata Theory

---

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.

---