Matches in SemOpenAlex for { <https://semopenalex.org/work/W3100101430> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W3100101430 endingPage "207" @default.
- W3100101430 startingPage "194" @default.
- W3100101430 abstract "Model-checking the alternating-time temporal logics ATL and ATL* with incomplete information is undecidable for perfect recall semantics. However, when restricting to memoryless strategies the model-checking problem becomes decidable. In this paper we consider two other types of semantics based on finite-memory strategies. One where the memory size allowed is bounded and one where the memory size is unbounded (but must be finite). This is motivated by the high complexity of model-checking with perfect recall semantics and the severe limitations of memoryless strategies. We show that both types of semantics introduced are different from perfect recall and memoryless semantics and next focus on the decidability and complexity of model-checking in both complete and incomplete information games for ATL/ATL*. In particular, we show that the complexity of model-checking with bounded-memory semantics is Delta_2p-complete for ATL and PSPACE-complete for ATL* in incomplete information games just as in the memoryless case. We also present a proof that ATL and ATL* model-checking is undecidable for n >= 3 players with finite-memory semantics in incomplete information games." @default.
- W3100101430 created "2020-11-23" @default.
- W3100101430 creator A5083586394 @default.
- W3100101430 date "2013-07-16" @default.
- W3100101430 modified "2023-10-16" @default.
- W3100101430 title "Alternating-time temporal logic with finite-memory strategies" @default.
- W3100101430 cites W1590315663 @default.
- W3100101430 cites W1974847881 @default.
- W3100101430 cites W1999134680 @default.
- W3100101430 cites W2003386597 @default.
- W3100101430 cites W2016203775 @default.
- W3100101430 cites W2016206563 @default.
- W3100101430 cites W2048905609 @default.
- W3100101430 cites W2117189826 @default.
- W3100101430 cites W2124110813 @default.
- W3100101430 cites W2156309428 @default.
- W3100101430 cites W2170933628 @default.
- W3100101430 doi "https://doi.org/10.4204/eptcs.119.17" @default.
- W3100101430 hasPublicationYear "2013" @default.
- W3100101430 type Work @default.
- W3100101430 sameAs 3100101430 @default.
- W3100101430 citedByCount "5" @default.
- W3100101430 countsByYear W31001014302015 @default.
- W3100101430 countsByYear W31001014302017 @default.
- W3100101430 countsByYear W31001014302018 @default.
- W3100101430 countsByYear W31001014302019 @default.
- W3100101430 countsByYear W31001014302021 @default.
- W3100101430 crossrefType "journal-article" @default.
- W3100101430 hasAuthorship W3100101430A5083586394 @default.
- W3100101430 hasBestOaLocation W31001014301 @default.
- W3100101430 hasConcept C110251889 @default.
- W3100101430 hasConcept C11413529 @default.
- W3100101430 hasConcept C118615104 @default.
- W3100101430 hasConcept C134306372 @default.
- W3100101430 hasConcept C153269930 @default.
- W3100101430 hasConcept C179799912 @default.
- W3100101430 hasConcept C184337299 @default.
- W3100101430 hasConcept C192034797 @default.
- W3100101430 hasConcept C197685441 @default.
- W3100101430 hasConcept C199360897 @default.
- W3100101430 hasConcept C25016198 @default.
- W3100101430 hasConcept C33923547 @default.
- W3100101430 hasConcept C34388435 @default.
- W3100101430 hasConcept C41008148 @default.
- W3100101430 hasConcept C80444323 @default.
- W3100101430 hasConceptScore W3100101430C110251889 @default.
- W3100101430 hasConceptScore W3100101430C11413529 @default.
- W3100101430 hasConceptScore W3100101430C118615104 @default.
- W3100101430 hasConceptScore W3100101430C134306372 @default.
- W3100101430 hasConceptScore W3100101430C153269930 @default.
- W3100101430 hasConceptScore W3100101430C179799912 @default.
- W3100101430 hasConceptScore W3100101430C184337299 @default.
- W3100101430 hasConceptScore W3100101430C192034797 @default.
- W3100101430 hasConceptScore W3100101430C197685441 @default.
- W3100101430 hasConceptScore W3100101430C199360897 @default.
- W3100101430 hasConceptScore W3100101430C25016198 @default.
- W3100101430 hasConceptScore W3100101430C33923547 @default.
- W3100101430 hasConceptScore W3100101430C34388435 @default.
- W3100101430 hasConceptScore W3100101430C41008148 @default.
- W3100101430 hasConceptScore W3100101430C80444323 @default.
- W3100101430 hasLocation W31001014301 @default.
- W3100101430 hasLocation W31001014302 @default.
- W3100101430 hasLocation W31001014303 @default.
- W3100101430 hasLocation W31001014304 @default.
- W3100101430 hasOpenAccess W3100101430 @default.
- W3100101430 hasPrimaryLocation W31001014301 @default.
- W3100101430 hasRelatedWork W1528032490 @default.
- W3100101430 hasRelatedWork W1545861088 @default.
- W3100101430 hasRelatedWork W2144159228 @default.
- W3100101430 hasRelatedWork W2567712253 @default.
- W3100101430 hasRelatedWork W3100101430 @default.
- W3100101430 hasRelatedWork W3159133453 @default.
- W3100101430 hasRelatedWork W3184417962 @default.
- W3100101430 hasRelatedWork W3209871473 @default.
- W3100101430 hasRelatedWork W4286894913 @default.
- W3100101430 hasRelatedWork W4287197746 @default.
- W3100101430 hasVolume "119" @default.
- W3100101430 isParatext "false" @default.
- W3100101430 isRetracted "false" @default.
- W3100101430 magId "3100101430" @default.
- W3100101430 workType "article" @default.