Name
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 buff er 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. |
Year | DOI | Venue |
|---|---|---|
2016 | 10.4204/EPTCS.220.3 | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE |
DocType | Issue | ISSN |
Journal | 220 | 2075-2180 |
Citations | PageRank | References |
1 | 0.37 | 8 |
Authors | ||
5 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Milka Hutagalung | 1 | 13 | 3.16 |
| Norbert Hundeshagen | 2 | 3 | 1.50 |
| Dietrich Kuske | 3 | 485 | 47.93 |
| Martin Lange | 4 | 447 | 22.83 |
| Étienne Lozes | 5 | 121 | 14.32 |