Matches in SemOpenAlex for { <https://semopenalex.org/work/W2038320736> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2038320736 abstract "We present TCTLK, a continuous-time variant of the Computational Tree Logic with knowledge operators, generalizing both TCTL, the continuous-time variant of CTL, and CTLK, the epistemic generalization of CTL.Formulas are interpreted over timed automata, with a synchronous and perfect recall semantics,and the observability relation requires one to specify what clocks are visible for an agent.We show that, in general, the model-checking problem for TCTLK is undecidable, even if formulas do not use any clocks --and hence CTLK has an undecidable model-checking problem when interpreted over timed automata.On the other hand, we show that, when each agent can see all clock values,model-checking becomes decidable." @default.
- W2038320736 created "2016-06-24" @default.
- W2038320736 creator A5069463747 @default.
- W2038320736 date "2009-07-01" @default.
- W2038320736 modified "2023-10-18" @default.
- W2038320736 title "Positive and Negative Results on the Decidability of the Model-Checking Problem for an Epistemic Extension of Timed CTL" @default.
- W2038320736 cites W1498432697 @default.
- W2038320736 cites W1506670447 @default.
- W2038320736 cites W1507763855 @default.
- W2038320736 cites W1507793072 @default.
- W2038320736 cites W1547981982 @default.
- W2038320736 cites W1580995538 @default.
- W2038320736 cites W1781752104 @default.
- W2038320736 cites W1981808971 @default.
- W2038320736 cites W2010508644 @default.
- W2038320736 cites W2024664992 @default.
- W2038320736 cites W2055092188 @default.
- W2038320736 cites W2101508170 @default.
- W2038320736 cites W2110930028 @default.
- W2038320736 cites W2129559415 @default.
- W2038320736 cites W2137106081 @default.
- W2038320736 cites W2166721364 @default.
- W2038320736 cites W2214827277 @default.
- W2038320736 cites W2472519493 @default.
- W2038320736 doi "https://doi.org/10.1109/time.2009.21" @default.
- W2038320736 hasPublicationYear "2009" @default.
- W2038320736 type Work @default.
- W2038320736 sameAs 2038320736 @default.
- W2038320736 citedByCount "4" @default.
- W2038320736 countsByYear W20383207362012 @default.
- W2038320736 countsByYear W20383207362013 @default.
- W2038320736 crossrefType "proceedings-article" @default.
- W2038320736 hasAuthorship W2038320736A5069463747 @default.
- W2038320736 hasConcept C110251889 @default.
- W2038320736 hasConcept C112505250 @default.
- W2038320736 hasConcept C11413529 @default.
- W2038320736 hasConcept C118615104 @default.
- W2038320736 hasConcept C134306372 @default.
- W2038320736 hasConcept C147969180 @default.
- W2038320736 hasConcept C153269930 @default.
- W2038320736 hasConcept C154317977 @default.
- W2038320736 hasConcept C177148314 @default.
- W2038320736 hasConcept C185592680 @default.
- W2038320736 hasConcept C192034797 @default.
- W2038320736 hasConcept C198008173 @default.
- W2038320736 hasConcept C199360897 @default.
- W2038320736 hasConcept C202751555 @default.
- W2038320736 hasConcept C25016198 @default.
- W2038320736 hasConcept C25343380 @default.
- W2038320736 hasConcept C2778029271 @default.
- W2038320736 hasConcept C28826006 @default.
- W2038320736 hasConcept C33923547 @default.
- W2038320736 hasConcept C36299963 @default.
- W2038320736 hasConcept C41008148 @default.
- W2038320736 hasConcept C55493867 @default.
- W2038320736 hasConcept C77088390 @default.
- W2038320736 hasConcept C80444323 @default.
- W2038320736 hasConceptScore W2038320736C110251889 @default.
- W2038320736 hasConceptScore W2038320736C112505250 @default.
- W2038320736 hasConceptScore W2038320736C11413529 @default.
- W2038320736 hasConceptScore W2038320736C118615104 @default.
- W2038320736 hasConceptScore W2038320736C134306372 @default.
- W2038320736 hasConceptScore W2038320736C147969180 @default.
- W2038320736 hasConceptScore W2038320736C153269930 @default.
- W2038320736 hasConceptScore W2038320736C154317977 @default.
- W2038320736 hasConceptScore W2038320736C177148314 @default.
- W2038320736 hasConceptScore W2038320736C185592680 @default.
- W2038320736 hasConceptScore W2038320736C192034797 @default.
- W2038320736 hasConceptScore W2038320736C198008173 @default.
- W2038320736 hasConceptScore W2038320736C199360897 @default.
- W2038320736 hasConceptScore W2038320736C202751555 @default.
- W2038320736 hasConceptScore W2038320736C25016198 @default.
- W2038320736 hasConceptScore W2038320736C25343380 @default.
- W2038320736 hasConceptScore W2038320736C2778029271 @default.
- W2038320736 hasConceptScore W2038320736C28826006 @default.
- W2038320736 hasConceptScore W2038320736C33923547 @default.
- W2038320736 hasConceptScore W2038320736C36299963 @default.
- W2038320736 hasConceptScore W2038320736C41008148 @default.
- W2038320736 hasConceptScore W2038320736C55493867 @default.
- W2038320736 hasConceptScore W2038320736C77088390 @default.
- W2038320736 hasConceptScore W2038320736C80444323 @default.
- W2038320736 hasLocation W20383207361 @default.
- W2038320736 hasLocation W20383207362 @default.
- W2038320736 hasLocation W20383207363 @default.
- W2038320736 hasOpenAccess W2038320736 @default.
- W2038320736 hasPrimaryLocation W20383207361 @default.
- W2038320736 hasRelatedWork W1592102986 @default.
- W2038320736 hasRelatedWork W2038320736 @default.
- W2038320736 hasRelatedWork W2124766457 @default.
- W2038320736 hasRelatedWork W2798742893 @default.
- W2038320736 hasRelatedWork W2963079949 @default.
- W2038320736 hasRelatedWork W3037249291 @default.
- W2038320736 hasRelatedWork W3103084107 @default.
- W2038320736 hasRelatedWork W3201820046 @default.
- W2038320736 hasRelatedWork W4214723139 @default.
- W2038320736 hasRelatedWork W2584881689 @default.
- W2038320736 isParatext "false" @default.
- W2038320736 isRetracted "false" @default.
- W2038320736 magId "2038320736" @default.
- W2038320736 workType "article" @default.