Matches in SemOpenAlex for { <https://semopenalex.org/work/W2004683920> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2004683920 endingPage "300" @default.
- W2004683920 startingPage "286" @default.
- W2004683920 abstract "Simulation relations are an important tool in automata theory because they provide efficiently computable approximations to language inclusion. In recent years, extensions of ordinary simulations have been studied, for instance multi-pebble and multi-letter simulations which yield better approximations and are still polynomial-time computable. In this paper we study the limitations of approximating language inclusion in this way: we introduce a natural extension of multi-letter simulations called buffered simulations. They are based on a simulation game in which the two players share a FIFO buffer of unbounded size. We consider two variants of these buffered games called continuous and look-ahead simulation which differ in how elements can be removed from the FIFO buffer. We show that look-ahead simulation, the simpler one, is already PSPACE-hard, i.e. computationally as hard as language inclusion itself. Continuous simulation is even EXPTIME-hard. We also provide matching upper bounds for solving these games with infinite state spaces." @default.
- W2004683920 created "2016-06-24" @default.
- W2004683920 creator A5011145361 @default.
- W2004683920 creator A5068084593 @default.
- W2004683920 creator A5087768042 @default.
- W2004683920 date "2014-05-21" @default.
- W2004683920 modified "2023-10-06" @default.
- W2004683920 title "Buffered Simulation Games for Büchi Automata" @default.
- W2004683920 cites W143291542 @default.
- W2004683920 cites W1480621838 @default.
- W2004683920 cites W1512310098 @default.
- W2004683920 cites W1550751956 @default.
- W2004683920 cites W1568149704 @default.
- W2004683920 cites W1605860947 @default.
- W2004683920 cites W1841354836 @default.
- W2004683920 cites W1964680921 @default.
- W2004683920 cites W1979078717 @default.
- W2004683920 cites W1982129592 @default.
- W2004683920 cites W1993129359 @default.
- W2004683920 cites W1998084650 @default.
- W2004683920 cites W2030473999 @default.
- W2004683920 cites W2030570029 @default.
- W2004683920 cites W2031592188 @default.
- W2004683920 cites W2037801799 @default.
- W2004683920 cites W2040008220 @default.
- W2004683920 cites W2059045337 @default.
- W2004683920 cites W2073874233 @default.
- W2004683920 cites W2076334860 @default.
- W2004683920 cites W2106388690 @default.
- W2004683920 cites W2136891613 @default.
- W2004683920 cites W2138856440 @default.
- W2004683920 cites W2148195254 @default.
- W2004683920 cites W2158095202 @default.
- W2004683920 cites W2914000465 @default.
- W2004683920 cites W4242049669 @default.
- W2004683920 doi "https://doi.org/10.4204/eptcs.151.20" @default.
- W2004683920 hasPublicationYear "2014" @default.
- W2004683920 type Work @default.
- W2004683920 sameAs 2004683920 @default.
- W2004683920 citedByCount "3" @default.
- W2004683920 countsByYear W20046839202015 @default.
- W2004683920 countsByYear W20046839202016 @default.
- W2004683920 crossrefType "journal-article" @default.
- W2004683920 hasAuthorship W2004683920A5011145361 @default.
- W2004683920 hasAuthorship W2004683920A5068084593 @default.
- W2004683920 hasAuthorship W2004683920A5087768042 @default.
- W2004683920 hasBestOaLocation W20046839201 @default.
- W2004683920 hasConcept C105795698 @default.
- W2004683920 hasConcept C112505250 @default.
- W2004683920 hasConcept C11413529 @default.
- W2004683920 hasConcept C165064840 @default.
- W2004683920 hasConcept C179799912 @default.
- W2004683920 hasConcept C197685441 @default.
- W2004683920 hasConcept C199360897 @default.
- W2004683920 hasConcept C2777145635 @default.
- W2004683920 hasConcept C2778029271 @default.
- W2004683920 hasConcept C33923547 @default.
- W2004683920 hasConcept C41008148 @default.
- W2004683920 hasConcept C80444323 @default.
- W2004683920 hasConceptScore W2004683920C105795698 @default.
- W2004683920 hasConceptScore W2004683920C112505250 @default.
- W2004683920 hasConceptScore W2004683920C11413529 @default.
- W2004683920 hasConceptScore W2004683920C165064840 @default.
- W2004683920 hasConceptScore W2004683920C179799912 @default.
- W2004683920 hasConceptScore W2004683920C197685441 @default.
- W2004683920 hasConceptScore W2004683920C199360897 @default.
- W2004683920 hasConceptScore W2004683920C2777145635 @default.
- W2004683920 hasConceptScore W2004683920C2778029271 @default.
- W2004683920 hasConceptScore W2004683920C33923547 @default.
- W2004683920 hasConceptScore W2004683920C41008148 @default.
- W2004683920 hasConceptScore W2004683920C80444323 @default.
- W2004683920 hasLocation W20046839201 @default.
- W2004683920 hasLocation W20046839202 @default.
- W2004683920 hasOpenAccess W2004683920 @default.
- W2004683920 hasPrimaryLocation W20046839201 @default.
- W2004683920 hasRelatedWork W1517416010 @default.
- W2004683920 hasRelatedWork W1550126246 @default.
- W2004683920 hasRelatedWork W1903527352 @default.
- W2004683920 hasRelatedWork W2064341026 @default.
- W2004683920 hasRelatedWork W2093234790 @default.
- W2004683920 hasRelatedWork W2119717366 @default.
- W2004683920 hasRelatedWork W2725311223 @default.
- W2004683920 hasRelatedWork W2740071458 @default.
- W2004683920 hasRelatedWork W4226436121 @default.
- W2004683920 hasRelatedWork W4362564437 @default.
- W2004683920 hasVolume "151" @default.
- W2004683920 isParatext "false" @default.
- W2004683920 isRetracted "false" @default.
- W2004683920 magId "2004683920" @default.
- W2004683920 workType "article" @default.