joint work with Sławek Lasota, Patrick Toetzke and Richard Mayr
- Speaker(s)
- Piotr Hofman
- Affiliation
- Uniwersytet Warszawski
- Date
- May 29, 2013, 2:15 p.m.
- Room
- room 5870
- Seminar
- Seminar Automata Theory
The talk will be devoted to the following decision problem: for two
given one-counter automata, find the winner of Simulation Game between
these automata. We will discuss variants of the problems, influencing
its decidability and complexity status. As a technical core a new proof
method will be sketched, that allows us to prove PSPACE-completeness of
the problem.