Two-Buffer Simulation Games
Published in Electronic Proceedings in Theoretical Computer Science • Jul 31, 2016
Authors:,,
Milka Hutagalung
Norbert Hundeshagen
Dietrich Kuske
Abstract
We consider simulation games played between Spoiler and Duplicator on two Buchi automata in which the choices made by Spoiler can be buffered by Duplicator in two different buffers before she executes them on her structure. Previous work on such games using a single buffer has shown that they are us...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!