You are not logged in | Log in
Logo of the Faculty of Mathematics, Informatics, and Mechanics, University of Warsaw Logo of the Faculty of Mathematics, Informatics, and Mechanics, University of Warsaw

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
Title in Polish
Simulation of one-counter automata
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.

Careers

Website

© 2024 University of Warsaw. All rights reserved.