Matches in SemOpenAlex for { <https://semopenalex.org/work/W1562780072> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W1562780072 endingPage "37" @default.
- W1562780072 startingPage "19" @default.
- W1562780072 abstract "We introduce a novel automata-theoretic approach for the verification of multi-agent systems. We present epistemic alternating tree automata, an extension of alternating tree automata, and use them to represent specifications in the temporal-epistemic logic CTLK. We show that model checking a memory-less interpreted system against a CTLK property can be reduced to checking the language non-emptiness of the composition of two epistemic tree automata. We report on an experimental implementation and discuss preliminary results. We evaluate the effectiveness of the technique using two real-life scenarios: a gossip protocol and the train gate controller." @default.
- W1562780072 created "2016-06-24" @default.
- W1562780072 creator A5015045050 @default.
- W1562780072 creator A5040203154 @default.
- W1562780072 creator A5055883955 @default.
- W1562780072 date "2011-01-01" @default.
- W1562780072 modified "2023-09-27" @default.
- W1562780072 title "Model Checking Temporal-Epistemic Logic Using Alternating Tree Automata" @default.
- W1562780072 cites W139055536 @default.
- W1562780072 cites W1494976167 @default.
- W1562780072 cites W1507793072 @default.
- W1562780072 cites W1574030932 @default.
- W1562780072 cites W1587990038 @default.
- W1562780072 cites W1640973035 @default.
- W1562780072 cites W1943502734 @default.
- W1562780072 cites W1971607922 @default.
- W1562780072 cites W1988808695 @default.
- W1562780072 cites W1996207810 @default.
- W1562780072 cites W2019881090 @default.
- W1562780072 cites W2070610324 @default.
- W1562780072 cites W2107171883 @default.
- W1562780072 cites W2126147068 @default.
- W1562780072 cites W2137106081 @default.
- W1562780072 cites W2146819619 @default.
- W1562780072 cites W2284540769 @default.
- W1562780072 cites W2913459036 @default.
- W1562780072 cites W3021943749 @default.
- W1562780072 cites W68069235 @default.
- W1562780072 doi "https://doi.org/10.3233/fi-2011-576" @default.
- W1562780072 hasPublicationYear "2011" @default.
- W1562780072 type Work @default.
- W1562780072 sameAs 1562780072 @default.
- W1562780072 citedByCount "5" @default.
- W1562780072 countsByYear W15627800722013 @default.
- W1562780072 countsByYear W15627800722014 @default.
- W1562780072 countsByYear W15627800722015 @default.
- W1562780072 countsByYear W15627800722016 @default.
- W1562780072 crossrefType "journal-article" @default.
- W1562780072 hasAuthorship W1562780072A5015045050 @default.
- W1562780072 hasAuthorship W1562780072A5040203154 @default.
- W1562780072 hasAuthorship W1562780072A5055883955 @default.
- W1562780072 hasConcept C110251889 @default.
- W1562780072 hasConcept C111472728 @default.
- W1562780072 hasConcept C112505250 @default.
- W1562780072 hasConcept C113174947 @default.
- W1562780072 hasConcept C11413529 @default.
- W1562780072 hasConcept C114614502 @default.
- W1562780072 hasConcept C11648818 @default.
- W1562780072 hasConcept C138885662 @default.
- W1562780072 hasConcept C162670838 @default.
- W1562780072 hasConcept C198008173 @default.
- W1562780072 hasConcept C199360897 @default.
- W1562780072 hasConcept C25016198 @default.
- W1562780072 hasConcept C33923547 @default.
- W1562780072 hasConcept C41008148 @default.
- W1562780072 hasConcept C80444323 @default.
- W1562780072 hasConceptScore W1562780072C110251889 @default.
- W1562780072 hasConceptScore W1562780072C111472728 @default.
- W1562780072 hasConceptScore W1562780072C112505250 @default.
- W1562780072 hasConceptScore W1562780072C113174947 @default.
- W1562780072 hasConceptScore W1562780072C11413529 @default.
- W1562780072 hasConceptScore W1562780072C114614502 @default.
- W1562780072 hasConceptScore W1562780072C11648818 @default.
- W1562780072 hasConceptScore W1562780072C138885662 @default.
- W1562780072 hasConceptScore W1562780072C162670838 @default.
- W1562780072 hasConceptScore W1562780072C198008173 @default.
- W1562780072 hasConceptScore W1562780072C199360897 @default.
- W1562780072 hasConceptScore W1562780072C25016198 @default.
- W1562780072 hasConceptScore W1562780072C33923547 @default.
- W1562780072 hasConceptScore W1562780072C41008148 @default.
- W1562780072 hasConceptScore W1562780072C80444323 @default.
- W1562780072 hasIssue "1" @default.
- W1562780072 hasLocation W15627800721 @default.
- W1562780072 hasOpenAccess W1562780072 @default.
- W1562780072 hasPrimaryLocation W15627800721 @default.
- W1562780072 hasRelatedWork W1031601050 @default.
- W1562780072 hasRelatedWork W12256342 @default.
- W1562780072 hasRelatedWork W1513903619 @default.
- W1562780072 hasRelatedWork W1527462432 @default.
- W1562780072 hasRelatedWork W1816240867 @default.
- W1562780072 hasRelatedWork W2103740034 @default.
- W1562780072 hasRelatedWork W2113088395 @default.
- W1562780072 hasRelatedWork W2338673411 @default.
- W1562780072 hasRelatedWork W2758505267 @default.
- W1562780072 hasRelatedWork W3005864166 @default.
- W1562780072 hasVolume "112" @default.
- W1562780072 isParatext "false" @default.
- W1562780072 isRetracted "false" @default.
- W1562780072 magId "1562780072" @default.
- W1562780072 workType "article" @default.