Nie jesteś zalogowany |
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.
