Matches in SemOpenAlex for { <https://semopenalex.org/work/W2955955966> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2955955966 abstract "It is well known that the verification of resource-constrained multiagent systems is undecidable in general. In many such settings, resources are private to agents. In this paper, we investigate the model checking problem for a resource logic based on Alternating-Time Temporal Logic (ATL) with shared resources. Resources can be consumed and produced up to any amount. We show that the model checking problem is undecidable if two or more of such unbounded resources are available. Our main technical result is that in the case of a single shared resource, the problem becomes decidable. Although intuitive, the proof of decidability is non-trivial. We reduce model checking to a problem over alternating Buchi pushdown systems. An intermediate result connects to general automata-based verification: we show that model checking Computation Tree Logic (CTL) over (compact) alternating Buchi pushdown systems is decidable." @default.
- W2955955966 created "2019-07-12" @default.
- W2955955966 creator A5003269957 @default.
- W2955955966 creator A5013988121 @default.
- W2955955966 date "2015-08-10" @default.
- W2955955966 modified "2023-09-23" @default.
- W2955955966 title "Model Checking Resource Bounded Systems with Shared Resources via Alternating Buchi Pushdown Systems" @default.
- W2955955966 cites W139092964 @default.
- W2955955966 cites W1568797836 @default.
- W2955955966 cites W1580675843 @default.
- W2955955966 cites W1590315663 @default.
- W2955955966 cites W1795952933 @default.
- W2955955966 cites W1896357893 @default.
- W2955955966 cites W1924636608 @default.
- W2955955966 cites W2002089154 @default.
- W2955955966 cites W2048905609 @default.
- W2955955966 cites W2087431796 @default.
- W2955955966 cites W2913459036 @default.
- W2955955966 hasPublicationYear "2015" @default.
- W2955955966 type Work @default.
- W2955955966 sameAs 2955955966 @default.
- W2955955966 citedByCount "0" @default.
- W2955955966 crossrefType "posted-content" @default.
- W2955955966 hasAuthorship W2955955966A5003269957 @default.
- W2955955966 hasAuthorship W2955955966A5013988121 @default.
- W2955955966 hasConcept C110251889 @default.
- W2955955966 hasConcept C112505250 @default.
- W2955955966 hasConcept C134083981 @default.
- W2955955966 hasConcept C153269930 @default.
- W2955955966 hasConcept C186644900 @default.
- W2955955966 hasConcept C192034797 @default.
- W2955955966 hasConcept C198008173 @default.
- W2955955966 hasConcept C199360897 @default.
- W2955955966 hasConcept C25016198 @default.
- W2955955966 hasConcept C27034413 @default.
- W2955955966 hasConcept C41008148 @default.
- W2955955966 hasConcept C77944639 @default.
- W2955955966 hasConcept C80444323 @default.
- W2955955966 hasConcept C97212296 @default.
- W2955955966 hasConceptScore W2955955966C110251889 @default.
- W2955955966 hasConceptScore W2955955966C112505250 @default.
- W2955955966 hasConceptScore W2955955966C134083981 @default.
- W2955955966 hasConceptScore W2955955966C153269930 @default.
- W2955955966 hasConceptScore W2955955966C186644900 @default.
- W2955955966 hasConceptScore W2955955966C192034797 @default.
- W2955955966 hasConceptScore W2955955966C198008173 @default.
- W2955955966 hasConceptScore W2955955966C199360897 @default.
- W2955955966 hasConceptScore W2955955966C25016198 @default.
- W2955955966 hasConceptScore W2955955966C27034413 @default.
- W2955955966 hasConceptScore W2955955966C41008148 @default.
- W2955955966 hasConceptScore W2955955966C77944639 @default.
- W2955955966 hasConceptScore W2955955966C80444323 @default.
- W2955955966 hasConceptScore W2955955966C97212296 @default.
- W2955955966 hasLocation W29559559661 @default.
- W2955955966 hasOpenAccess W2955955966 @default.
- W2955955966 hasPrimaryLocation W29559559661 @default.
- W2955955966 hasRelatedWork W1507564730 @default.
- W2955955966 hasRelatedWork W1535578980 @default.
- W2955955966 hasRelatedWork W1662711380 @default.
- W2955955966 hasRelatedWork W1905205673 @default.
- W2955955966 hasRelatedWork W2118675136 @default.
- W2955955966 hasRelatedWork W2256101605 @default.
- W2955955966 hasRelatedWork W2268642107 @default.
- W2955955966 hasRelatedWork W2276682279 @default.
- W2955955966 hasRelatedWork W2293226026 @default.
- W2955955966 hasRelatedWork W2359115535 @default.
- W2955955966 hasRelatedWork W2399858156 @default.
- W2955955966 hasRelatedWork W2526576663 @default.
- W2955955966 hasRelatedWork W2571179180 @default.
- W2955955966 hasRelatedWork W279630553 @default.
- W2955955966 hasRelatedWork W2807780463 @default.
- W2955955966 hasRelatedWork W2889459478 @default.
- W2955955966 hasRelatedWork W2911298563 @default.
- W2955955966 hasRelatedWork W2952059577 @default.
- W2955955966 hasRelatedWork W374648105 @default.
- W2955955966 hasRelatedWork W419990173 @default.
- W2955955966 isParatext "false" @default.
- W2955955966 isRetracted "false" @default.
- W2955955966 magId "2955955966" @default.
- W2955955966 workType "article" @default.