Matches in SemOpenAlex for { <https://semopenalex.org/work/W2193249047> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2193249047 endingPage "437" @default.
- W2193249047 startingPage "428" @default.
- W2193249047 abstract "We introduce an abstraction methodology for the verification of multi-agent systems against specifications expressed in alternating-time temporal logic (ATL). Inspired by methodologies such as predicate abstraction, we define a three-valued semantics for the interpretation of ATL formulas on concurrent game structures and compare it to the standard two-valued semantics. We define abstract models and establish preservation results on the three-valued semantics between abstract models and their concrete counterparts. We illustrate the methodology on the large state spaces resulting from a card game." @default.
- W2193249047 created "2016-06-24" @default.
- W2193249047 creator A5015045050 @default.
- W2193249047 creator A5015610041 @default.
- W2193249047 date "2014-07-20" @default.
- W2193249047 modified "2023-09-27" @default.
- W2193249047 title "An abstraction technique for the verification of multi-agent systems against ATL specifications" @default.
- W2193249047 cites W1545403022 @default.
- W2193249047 cites W1559287110 @default.
- W2193249047 cites W1587990038 @default.
- W2193249047 cites W1980150203 @default.
- W2193249047 cites W1998468461 @default.
- W2193249047 cites W1999134680 @default.
- W2193249047 cites W2048905609 @default.
- W2193249047 cites W2080593426 @default.
- W2193249047 cites W2133693398 @default.
- W2193249047 cites W2137106081 @default.
- W2193249047 cites W2146819619 @default.
- W2193249047 cites W2158395308 @default.
- W2193249047 cites W2159652932 @default.
- W2193249047 cites W2171296155 @default.
- W2193249047 cites W2913682003 @default.
- W2193249047 cites W3023081192 @default.
- W2193249047 cites W97887531 @default.
- W2193249047 hasPublicationYear "2014" @default.
- W2193249047 type Work @default.
- W2193249047 sameAs 2193249047 @default.
- W2193249047 citedByCount "5" @default.
- W2193249047 countsByYear W21932490472015 @default.
- W2193249047 countsByYear W21932490472016 @default.
- W2193249047 countsByYear W21932490472019 @default.
- W2193249047 crossrefType "proceedings-article" @default.
- W2193249047 hasAuthorship W2193249047A5015045050 @default.
- W2193249047 hasAuthorship W2193249047A5015610041 @default.
- W2193249047 hasConcept C110251889 @default.
- W2193249047 hasConcept C111472728 @default.
- W2193249047 hasConcept C124304363 @default.
- W2193249047 hasConcept C138885662 @default.
- W2193249047 hasConcept C140146324 @default.
- W2193249047 hasConcept C156325763 @default.
- W2193249047 hasConcept C184337299 @default.
- W2193249047 hasConcept C199360897 @default.
- W2193249047 hasConcept C25016198 @default.
- W2193249047 hasConcept C2779907942 @default.
- W2193249047 hasConcept C2780654840 @default.
- W2193249047 hasConcept C41008148 @default.
- W2193249047 hasConcept C527412718 @default.
- W2193249047 hasConcept C80444323 @default.
- W2193249047 hasConceptScore W2193249047C110251889 @default.
- W2193249047 hasConceptScore W2193249047C111472728 @default.
- W2193249047 hasConceptScore W2193249047C124304363 @default.
- W2193249047 hasConceptScore W2193249047C138885662 @default.
- W2193249047 hasConceptScore W2193249047C140146324 @default.
- W2193249047 hasConceptScore W2193249047C156325763 @default.
- W2193249047 hasConceptScore W2193249047C184337299 @default.
- W2193249047 hasConceptScore W2193249047C199360897 @default.
- W2193249047 hasConceptScore W2193249047C25016198 @default.
- W2193249047 hasConceptScore W2193249047C2779907942 @default.
- W2193249047 hasConceptScore W2193249047C2780654840 @default.
- W2193249047 hasConceptScore W2193249047C41008148 @default.
- W2193249047 hasConceptScore W2193249047C527412718 @default.
- W2193249047 hasConceptScore W2193249047C80444323 @default.
- W2193249047 hasLocation W21932490471 @default.
- W2193249047 hasOpenAccess W2193249047 @default.
- W2193249047 hasPrimaryLocation W21932490471 @default.
- W2193249047 hasRelatedWork W1532560632 @default.
- W2193249047 hasRelatedWork W1542090010 @default.
- W2193249047 hasRelatedWork W1560300944 @default.
- W2193249047 hasRelatedWork W1585015170 @default.
- W2193249047 hasRelatedWork W1914115695 @default.
- W2193249047 hasRelatedWork W1996070941 @default.
- W2193249047 hasRelatedWork W2000182366 @default.
- W2193249047 hasRelatedWork W2047218077 @default.
- W2193249047 hasRelatedWork W2059525923 @default.
- W2193249047 hasRelatedWork W2106305471 @default.
- W2193249047 hasRelatedWork W2131403235 @default.
- W2193249047 hasRelatedWork W2157449911 @default.
- W2193249047 hasRelatedWork W2402236082 @default.
- W2193249047 hasRelatedWork W2517585486 @default.
- W2193249047 hasRelatedWork W2751426875 @default.
- W2193249047 hasRelatedWork W2963829406 @default.
- W2193249047 hasRelatedWork W2964513622 @default.
- W2193249047 hasRelatedWork W3080738570 @default.
- W2193249047 hasRelatedWork W3134644061 @default.
- W2193249047 hasRelatedWork W1657382251 @default.
- W2193249047 isParatext "false" @default.
- W2193249047 isRetracted "false" @default.
- W2193249047 magId "2193249047" @default.
- W2193249047 workType "article" @default.