Matches in SemOpenAlex for { <https://semopenalex.org/work/W1506774075> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W1506774075 endingPage "12" @default.
- W1506774075 startingPage "1" @default.
- W1506774075 abstract "I present an overview of complexity results for model checking of temporal and strategic logics. Unfortunately, it is possible to manipulate the context so that different complexity results are obtained for the same problem. Among other things, this means that the results are often distant from the “practical” complexity which is encountered when one tries to use the formalisms in reality." @default.
- W1506774075 created "2016-06-24" @default.
- W1506774075 creator A5019701853 @default.
- W1506774075 date "2009-01-01" @default.
- W1506774075 modified "2023-09-25" @default.
- W1506774075 title "Easy Yet Hard: Model Checking Strategies of Agents" @default.
- W1506774075 cites W1590315663 @default.
- W1506774075 cites W1787590041 @default.
- W1506774075 cites W1980150203 @default.
- W1506774075 cites W1988808695 @default.
- W1506774075 cites W1999134680 @default.
- W1506774075 cites W2004306067 @default.
- W1506774075 cites W2016203775 @default.
- W1506774075 cites W2027418885 @default.
- W1506774075 cites W2043435342 @default.
- W1506774075 cites W2048905609 @default.
- W1506774075 cites W2117189826 @default.
- W1506774075 cites W2124110813 @default.
- W1506774075 cites W2912904668 @default.
- W1506774075 cites W4300021588 @default.
- W1506774075 doi "https://doi.org/10.1007/978-3-642-02734-5_1" @default.
- W1506774075 hasPublicationYear "2009" @default.
- W1506774075 type Work @default.
- W1506774075 sameAs 1506774075 @default.
- W1506774075 citedByCount "5" @default.
- W1506774075 countsByYear W15067740752012 @default.
- W1506774075 countsByYear W15067740752013 @default.
- W1506774075 countsByYear W15067740752014 @default.
- W1506774075 countsByYear W15067740752015 @default.
- W1506774075 crossrefType "book-chapter" @default.
- W1506774075 hasAuthorship W1506774075A5019701853 @default.
- W1506774075 hasConcept C110251889 @default.
- W1506774075 hasConcept C11413529 @default.
- W1506774075 hasConcept C151730666 @default.
- W1506774075 hasConcept C171018156 @default.
- W1506774075 hasConcept C179799912 @default.
- W1506774075 hasConcept C2524010 @default.
- W1506774075 hasConcept C2779343474 @default.
- W1506774075 hasConcept C33923547 @default.
- W1506774075 hasConcept C41008148 @default.
- W1506774075 hasConcept C80444323 @default.
- W1506774075 hasConcept C86803240 @default.
- W1506774075 hasConceptScore W1506774075C110251889 @default.
- W1506774075 hasConceptScore W1506774075C11413529 @default.
- W1506774075 hasConceptScore W1506774075C151730666 @default.
- W1506774075 hasConceptScore W1506774075C171018156 @default.
- W1506774075 hasConceptScore W1506774075C179799912 @default.
- W1506774075 hasConceptScore W1506774075C2524010 @default.
- W1506774075 hasConceptScore W1506774075C2779343474 @default.
- W1506774075 hasConceptScore W1506774075C33923547 @default.
- W1506774075 hasConceptScore W1506774075C41008148 @default.
- W1506774075 hasConceptScore W1506774075C80444323 @default.
- W1506774075 hasConceptScore W1506774075C86803240 @default.
- W1506774075 hasLocation W15067740751 @default.
- W1506774075 hasOpenAccess W1506774075 @default.
- W1506774075 hasPrimaryLocation W15067740751 @default.
- W1506774075 hasRelatedWork W1522846680 @default.
- W1506774075 hasRelatedWork W166614165 @default.
- W1506774075 hasRelatedWork W1988211490 @default.
- W1506774075 hasRelatedWork W2005831808 @default.
- W1506774075 hasRelatedWork W2043435342 @default.
- W1506774075 hasRelatedWork W2240391853 @default.
- W1506774075 hasRelatedWork W270618915 @default.
- W1506774075 hasRelatedWork W2914625303 @default.
- W1506774075 hasRelatedWork W3030250248 @default.
- W1506774075 hasRelatedWork W2610607535 @default.
- W1506774075 isParatext "false" @default.
- W1506774075 isRetracted "false" @default.
- W1506774075 magId "1506774075" @default.
- W1506774075 workType "book-chapter" @default.