Matches in SemOpenAlex for { <https://semopenalex.org/work/W2963062266> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2963062266 endingPage "44" @default.
- W2963062266 startingPage "27" @default.
- W2963062266 abstract "The paper is devoted to several infinite-state Attacker–Defender games with reachability objectives. We prove the undecidability of checking for the existence of a winning strategy in several low-dimensional mathematical games including vector reachability games, word games and braid games. To prove these results, we consider a model of weighted automata operating on infinite words and prove that the universality problem is undecidable for this new class of weighted automata. We show that the universality problem is undecidable by using a non-standard encoding of the infinite Post correspondence problem." @default.
- W2963062266 created "2019-07-30" @default.
- W2963062266 creator A5015783637 @default.
- W2963062266 creator A5033873634 @default.
- W2963062266 creator A5054372678 @default.
- W2963062266 creator A5068817562 @default.
- W2963062266 date "2017-08-01" @default.
- W2963062266 modified "2023-09-29" @default.
- W2963062266 title "Weighted automata on infinite words in the context of Attacker–Defender games" @default.
- W2963062266 cites W1609583228 @default.
- W2963062266 cites W1621803692 @default.
- W2963062266 cites W1854577363 @default.
- W2963062266 cites W1965611063 @default.
- W2963062266 cites W1979118174 @default.
- W2963062266 cites W1988808695 @default.
- W2963062266 cites W1999099378 @default.
- W2963062266 cites W2002328599 @default.
- W2963062266 cites W2009370715 @default.
- W2963062266 cites W2013166518 @default.
- W2963062266 cites W2019875210 @default.
- W2963062266 cites W2031674483 @default.
- W2963062266 cites W2034774429 @default.
- W2963062266 cites W2048905609 @default.
- W2963062266 cites W2050829703 @default.
- W2963062266 cites W2057779707 @default.
- W2963062266 cites W2082433302 @default.
- W2963062266 cites W2113789941 @default.
- W2963062266 cites W2116976042 @default.
- W2963062266 cites W2125797022 @default.
- W2963062266 cites W2172004614 @default.
- W2963062266 cites W3022006420 @default.
- W2963062266 cites W4248784701 @default.
- W2963062266 cites W4300515186 @default.
- W2963062266 doi "https://doi.org/10.1016/j.ic.2017.05.001" @default.
- W2963062266 hasPublicationYear "2017" @default.
- W2963062266 type Work @default.
- W2963062266 sameAs 2963062266 @default.
- W2963062266 citedByCount "1" @default.
- W2963062266 countsByYear W29630622662021 @default.
- W2963062266 crossrefType "journal-article" @default.
- W2963062266 hasAuthorship W2963062266A5015783637 @default.
- W2963062266 hasAuthorship W2963062266A5033873634 @default.
- W2963062266 hasAuthorship W2963062266A5054372678 @default.
- W2963062266 hasAuthorship W2963062266A5068817562 @default.
- W2963062266 hasBestOaLocation W29630622661 @default.
- W2963062266 hasConcept C112505250 @default.
- W2963062266 hasConcept C151730666 @default.
- W2963062266 hasConcept C154945302 @default.
- W2963062266 hasConcept C2779343474 @default.
- W2963062266 hasConcept C41008148 @default.
- W2963062266 hasConcept C80444323 @default.
- W2963062266 hasConcept C86803240 @default.
- W2963062266 hasConceptScore W2963062266C112505250 @default.
- W2963062266 hasConceptScore W2963062266C151730666 @default.
- W2963062266 hasConceptScore W2963062266C154945302 @default.
- W2963062266 hasConceptScore W2963062266C2779343474 @default.
- W2963062266 hasConceptScore W2963062266C41008148 @default.
- W2963062266 hasConceptScore W2963062266C80444323 @default.
- W2963062266 hasConceptScore W2963062266C86803240 @default.
- W2963062266 hasFunder F4320334627 @default.
- W2963062266 hasLocation W29630622661 @default.
- W2963062266 hasLocation W29630622662 @default.
- W2963062266 hasOpenAccess W2963062266 @default.
- W2963062266 hasPrimaryLocation W29630622661 @default.
- W2963062266 hasRelatedWork W153904579 @default.
- W2963062266 hasRelatedWork W1584197856 @default.
- W2963062266 hasRelatedWork W2047802234 @default.
- W2963062266 hasRelatedWork W2325436751 @default.
- W2963062266 hasRelatedWork W2330733397 @default.
- W2963062266 hasRelatedWork W2368796975 @default.
- W2963062266 hasRelatedWork W2376345092 @default.
- W2963062266 hasRelatedWork W3107474891 @default.
- W2963062266 hasRelatedWork W2602338684 @default.
- W2963062266 hasRelatedWork W2751931981 @default.
- W2963062266 hasVolume "255" @default.
- W2963062266 isParatext "false" @default.
- W2963062266 isRetracted "false" @default.
- W2963062266 magId "2963062266" @default.
- W2963062266 workType "article" @default.