FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2339166039> ?p ?o ?g. }

• W2339166039 endingPage "186" @default.
• W2339166039 startingPage "180" @default.
• W2339166039 abstract "In this paper, we investigate model checking algorithms for variants of strategy logic over pushdown multi-agent systems, modeled by pushdown game structures (PGSs). We consider various fragments of strategy logic, i.e., SL[CG], SL[DG], SL[1G] and BSIL. We show that the model checking problems on PGSs for SL[CG], SL[DG] and SL[1G] are 3EXTIME-complete, which are not harder than the problem for the subsumed logic ATL*. When BSIL is concerned, the model checking problem becomes 2EXPTIME-complete. Our algorithms are automata-theoretic and based on the saturation technique, which are amenable to implementations." @default.
• W2339166039 created "2016-06-24" @default.
• W2339166039 creator A5027425633 @default.
• W2339166039 creator A5030747944 @default.
• W2339166039 creator A5039615242 @default.
• W2339166039 date "2016-07-09" @default.
• W2339166039 modified "2023-09-26" @default.
• W2339166039 title "Verifying pushdown multi-agent systems against strategy logics" @default.
• W2339166039 cites W1508260233 @default.
• W2339166039 cites W1512310098 @default.
• W2339166039 cites W1549870311 @default.
• W2339166039 cites W1554290420 @default.
• W2339166039 cites W1568797836 @default.
• W2339166039 cites W1589224558 @default.
• W2339166039 cites W1590347737 @default.
• W2339166039 cites W1725438563 @default.
• W2339166039 cites W1969912861 @default.
• W2339166039 cites W1972164030 @default.
• W2339166039 cites W1976540310 @default.
• W2339166039 cites W2019873882 @default.
• W2339166039 cites W2048905609 @default.
• W2339166039 cites W2059045337 @default.
• W2339166039 cites W2092229972 @default.
• W2339166039 cites W2108947407 @default.
• W2339166039 cites W2114132089 @default.
• W2339166039 cites W2165726630 @default.
• W2339166039 cites W2203774400 @default.
• W2339166039 cites W2253667164 @default.
• W2339166039 cites W2279163573 @default.
• W2339166039 cites W2281681012 @default.
• W2339166039 cites W2288290534 @default.
• W2339166039 cites W2288787028 @default.
• W2339166039 cites W2336535781 @default.
• W2339166039 cites W2398056971 @default.
• W2339166039 cites W266357918 @default.
• W2339166039 cites W3141621133 @default.
• W2339166039 cites W97887531 @default.
• W2339166039 cites W1592559337 @default.
• W2339166039 hasPublicationYear "2016" @default.
• W2339166039 type Work @default.
• W2339166039 sameAs 2339166039 @default.
• W2339166039 citedByCount "2" @default.
• W2339166039 countsByYear W23391660392020 @default.
• W2339166039 countsByYear W23391660392021 @default.
• W2339166039 crossrefType "proceedings-article" @default.
• W2339166039 hasAuthorship W2339166039A5027425633 @default.
• W2339166039 hasAuthorship W2339166039A5030747944 @default.
• W2339166039 hasAuthorship W2339166039A5039615242 @default.
• W2339166039 hasConcept C110251889 @default.
• W2339166039 hasConcept C112505250 @default.
• W2339166039 hasConcept C11413529 @default.
• W2339166039 hasConcept C134083981 @default.
• W2339166039 hasConcept C186644900 @default.
• W2339166039 hasConcept C199360897 @default.
• W2339166039 hasConcept C25016198 @default.
• W2339166039 hasConcept C26713055 @default.
• W2339166039 hasConcept C27034413 @default.
• W2339166039 hasConcept C41008148 @default.
• W2339166039 hasConcept C77944639 @default.
• W2339166039 hasConcept C80444323 @default.
• W2339166039 hasConcept C97212296 @default.
• W2339166039 hasConceptScore W2339166039C110251889 @default.
• W2339166039 hasConceptScore W2339166039C112505250 @default.
• W2339166039 hasConceptScore W2339166039C11413529 @default.
• W2339166039 hasConceptScore W2339166039C134083981 @default.
• W2339166039 hasConceptScore W2339166039C186644900 @default.
• W2339166039 hasConceptScore W2339166039C199360897 @default.
• W2339166039 hasConceptScore W2339166039C25016198 @default.
• W2339166039 hasConceptScore W2339166039C26713055 @default.
• W2339166039 hasConceptScore W2339166039C27034413 @default.
• W2339166039 hasConceptScore W2339166039C41008148 @default.
• W2339166039 hasConceptScore W2339166039C77944639 @default.
• W2339166039 hasConceptScore W2339166039C80444323 @default.
• W2339166039 hasConceptScore W2339166039C97212296 @default.
• W2339166039 hasLocation W23391660391 @default.
• W2339166039 hasOpenAccess W2339166039 @default.
• W2339166039 hasPrimaryLocation W23391660391 @default.
• W2339166039 hasRelatedWork W1498197486 @default.
• W2339166039 hasRelatedWork W1538885993 @default.
• W2339166039 hasRelatedWork W1571367965 @default.
• W2339166039 hasRelatedWork W1584266725 @default.
• W2339166039 hasRelatedWork W1989109065 @default.
• W2339166039 hasRelatedWork W2014771515 @default.
• W2339166039 hasRelatedWork W2018379587 @default.
• W2339166039 hasRelatedWork W2033071128 @default.
• W2339166039 hasRelatedWork W206075490 @default.
• W2339166039 hasRelatedWork W2110575785 @default.
• W2339166039 hasRelatedWork W2340551098 @default.
• W2339166039 hasRelatedWork W2528110499 @default.
• W2339166039 hasRelatedWork W2619387805 @default.
• W2339166039 hasRelatedWork W2753891615 @default.
• W2339166039 hasRelatedWork W2899749457 @default.
• W2339166039 hasRelatedWork W2963886128 @default.
• W2339166039 hasRelatedWork W2963943124 @default.
• W2339166039 hasRelatedWork W3104116428 @default.
• W2339166039 hasRelatedWork W630524842 @default.
• W2339166039 hasRelatedWork W75676335 @default.
• W2339166039 isParatext "false" @default.

• next