Can I read Two-Buffer Simulation Games on EtoBox?

Two-Buffer Simulation Games by Hutagalung, Milka; Hundeshagen, Norbert; Kuske, Dietrich; Lange, Martin; Lozes, Etienne is a scholarly article available to read on EtoBox.

What is Two-Buffer Simulation Games about?

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 useful to approximate language inclusion problems. We study the decidability and complexity and show that games with two buffers can be used to approximate corresponding problems on finite transducers, i.e. the inclusion problem for rational relations over infinite words.

Author

Hutagalung, Milka; Hundeshagen, Norbert; Kuske, Dietrich; Lange, Martin; Lozes, Etienne

Published

2016

Language

EN