Matches in SemOpenAlex for { <https://semopenalex.org/work/W1515252235> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W1515252235 endingPage "308" @default.
- W1515252235 startingPage "295" @default.
- W1515252235 abstract "In this paper we introduce and study the complexity of model checking alternating-time temporal logic (atp) with imperfect information, using a fine-structured complexity measure. While atp model checking with perfect information is linear in the size of the model when the number of agents is considered fixed, this is no longer true when the number of agents is considered parameters of the problem (fine structure).Combining it with results from our previous papers, we get the surprising result that checking strategic abilities of agents under both perfect and imperfect information belong to the same complexity class: both problems are (sum^P_{2})-complete.KeywordsComputational complexitymulti-agent systemstemporal logicstrategic abilitygames with incomplete information" @default.
- W1515252235 created "2016-06-24" @default.
- W1515252235 creator A5019701853 @default.
- W1515252235 creator A5081145311 @default.
- W1515252235 date "2005-01-01" @default.
- W1515252235 modified "2023-10-16" @default.
- W1515252235 title "Model Checking Strategic Abilities of Agents Under Incomplete Information" @default.
- W1515252235 cites W1490609244 @default.
- W1515252235 cites W1497329491 @default.
- W1515252235 cites W1545524531 @default.
- W1515252235 cites W1596365597 @default.
- W1515252235 cites W1787590041 @default.
- W1515252235 cites W1976993163 @default.
- W1515252235 cites W1999134680 @default.
- W1515252235 cites W2004306067 @default.
- W1515252235 cites W2048905609 @default.
- W1515252235 cites W2070610324 @default.
- W1515252235 cites W2117189826 @default.
- W1515252235 cites W2124110813 @default.
- W1515252235 cites W2546438959 @default.
- W1515252235 cites W4238392420 @default.
- W1515252235 doi "https://doi.org/10.1007/11560586_24" @default.
- W1515252235 hasPublicationYear "2005" @default.
- W1515252235 type Work @default.
- W1515252235 sameAs 1515252235 @default.
- W1515252235 citedByCount "7" @default.
- W1515252235 countsByYear W15152522352013 @default.
- W1515252235 countsByYear W15152522352020 @default.
- W1515252235 crossrefType "book-chapter" @default.
- W1515252235 hasAuthorship W1515252235A5019701853 @default.
- W1515252235 hasAuthorship W1515252235A5081145311 @default.
- W1515252235 hasConcept C110251889 @default.
- W1515252235 hasConcept C113336015 @default.
- W1515252235 hasConcept C11413529 @default.
- W1515252235 hasConcept C123676819 @default.
- W1515252235 hasConcept C138885662 @default.
- W1515252235 hasConcept C144237770 @default.
- W1515252235 hasConcept C154945302 @default.
- W1515252235 hasConcept C2777212361 @default.
- W1515252235 hasConcept C2780310539 @default.
- W1515252235 hasConcept C311688 @default.
- W1515252235 hasConcept C33923547 @default.
- W1515252235 hasConcept C41008148 @default.
- W1515252235 hasConcept C41895202 @default.
- W1515252235 hasConcept C80444323 @default.
- W1515252235 hasConceptScore W1515252235C110251889 @default.
- W1515252235 hasConceptScore W1515252235C113336015 @default.
- W1515252235 hasConceptScore W1515252235C11413529 @default.
- W1515252235 hasConceptScore W1515252235C123676819 @default.
- W1515252235 hasConceptScore W1515252235C138885662 @default.
- W1515252235 hasConceptScore W1515252235C144237770 @default.
- W1515252235 hasConceptScore W1515252235C154945302 @default.
- W1515252235 hasConceptScore W1515252235C2777212361 @default.
- W1515252235 hasConceptScore W1515252235C2780310539 @default.
- W1515252235 hasConceptScore W1515252235C311688 @default.
- W1515252235 hasConceptScore W1515252235C33923547 @default.
- W1515252235 hasConceptScore W1515252235C41008148 @default.
- W1515252235 hasConceptScore W1515252235C41895202 @default.
- W1515252235 hasConceptScore W1515252235C80444323 @default.
- W1515252235 hasLocation W15152522351 @default.
- W1515252235 hasOpenAccess W1515252235 @default.
- W1515252235 hasPrimaryLocation W15152522351 @default.
- W1515252235 hasRelatedWork W1496801567 @default.
- W1515252235 hasRelatedWork W1547302072 @default.
- W1515252235 hasRelatedWork W2043991345 @default.
- W1515252235 hasRelatedWork W2610227658 @default.
- W1515252235 hasRelatedWork W2810959808 @default.
- W1515252235 hasRelatedWork W2952784684 @default.
- W1515252235 hasRelatedWork W3037607571 @default.
- W1515252235 hasRelatedWork W3080391573 @default.
- W1515252235 hasRelatedWork W3122057932 @default.
- W1515252235 hasRelatedWork W3123261212 @default.
- W1515252235 isParatext "false" @default.
- W1515252235 isRetracted "false" @default.
- W1515252235 magId "1515252235" @default.
- W1515252235 workType "book-chapter" @default.