Matches in SemOpenAlex for { <https://semopenalex.org/work/W1907048110> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W1907048110 endingPage "403" @default.
- W1907048110 startingPage "389" @default.
- W1907048110 abstract "ATL+ is a variant of alternating-time temporal logic that does not have the expressive power of full ATL*, but still allows for expressing some natural properties of agents. It has been believed that verification with ATL+ is ΔP3-complete for both memoryless agents and players who can memorize the whole history of the game. In this paper, we show that the latter result is not correct. That is, we prove that model checking ATL+ for agents that use strategies with memory is in fact PSPACE-complete. On a more optimistic note, we show that fairness constraints can be added to ATL+ without further increasing the complexity of model checking, which makes ATL+ an attractive alternative to the full language of ATL*." @default.
- W1907048110 created "2016-06-24" @default.
- W1907048110 creator A5013988121 @default.
- W1907048110 creator A5019701853 @default.
- W1907048110 date "2010-01-01" @default.
- W1907048110 modified "2023-10-14" @default.
- W1907048110 title "Verifying agents with memory is harder than it seemed" @default.
- W1907048110 cites W1489630028 @default.
- W1907048110 cites W1489950854 @default.
- W1907048110 cites W1498110911 @default.
- W1907048110 cites W1555563362 @default.
- W1907048110 cites W1568275823 @default.
- W1907048110 cites W1568323880 @default.
- W1907048110 cites W1589868478 @default.
- W1907048110 cites W1590315663 @default.
- W1907048110 cites W1787590041 @default.
- W1907048110 cites W1968072977 @default.
- W1907048110 cites W1984691540 @default.
- W1907048110 cites W1999134680 @default.
- W1907048110 cites W2021774774 @default.
- W1907048110 cites W2043435342 @default.
- W1907048110 cites W2048905609 @default.
- W1907048110 cites W2162156616 @default.
- W1907048110 cites W2799168346 @default.
- W1907048110 doi "https://doi.org/10.3233/aic-2010-0481" @default.
- W1907048110 hasPublicationYear "2010" @default.
- W1907048110 type Work @default.
- W1907048110 sameAs 1907048110 @default.
- W1907048110 citedByCount "15" @default.
- W1907048110 countsByYear W19070481102013 @default.
- W1907048110 countsByYear W19070481102014 @default.
- W1907048110 countsByYear W19070481102015 @default.
- W1907048110 countsByYear W19070481102016 @default.
- W1907048110 countsByYear W19070481102017 @default.
- W1907048110 countsByYear W19070481102019 @default.
- W1907048110 countsByYear W19070481102020 @default.
- W1907048110 countsByYear W19070481102021 @default.
- W1907048110 crossrefType "journal-article" @default.
- W1907048110 hasAuthorship W1907048110A5013988121 @default.
- W1907048110 hasAuthorship W1907048110A5019701853 @default.
- W1907048110 hasConcept C199360897 @default.
- W1907048110 hasConcept C41008148 @default.
- W1907048110 hasConceptScore W1907048110C199360897 @default.
- W1907048110 hasConceptScore W1907048110C41008148 @default.
- W1907048110 hasIssue "4" @default.
- W1907048110 hasLocation W19070481101 @default.
- W1907048110 hasOpenAccess W1907048110 @default.
- W1907048110 hasPrimaryLocation W19070481101 @default.
- W1907048110 hasRelatedWork W1491366424 @default.
- W1907048110 hasRelatedWork W1527862632 @default.
- W1907048110 hasRelatedWork W2109507516 @default.
- W1907048110 hasRelatedWork W2112962394 @default.
- W1907048110 hasRelatedWork W2118300983 @default.
- W1907048110 hasRelatedWork W2135396778 @default.
- W1907048110 hasRelatedWork W2740990710 @default.
- W1907048110 hasRelatedWork W3137189469 @default.
- W1907048110 hasRelatedWork W4235530921 @default.
- W1907048110 hasRelatedWork W4243252198 @default.
- W1907048110 hasVolume "23" @default.
- W1907048110 isParatext "false" @default.
- W1907048110 isRetracted "false" @default.
- W1907048110 magId "1907048110" @default.
- W1907048110 workType "article" @default.