FRINK Linked Data Fragments server

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

• W1785753615 endingPage "26" @default.
• W1785753615 startingPage "1" @default.
• W1785753615 abstract "In this work, we consider discrete-time continuous-space dynamic systems for which we study the computability of the standard semantics of CTL* (CTL and LTL) and provide a variant thereof computable in the sense of Type-2 Theory of Effectivity. In particular, we show how the computable model checking of existentially and universally quantified path formulae of LTL can be reduced to solving, respectively, repeated reachability and persistence problems on a model obtained as a parallel composition of the original one and a non-deterministic Buchi automaton corresponding to the verified LTL formula." @default.
• W1785753615 created "2016-06-24" @default.
• W1785753615 creator A5019902087 @default.
• W1785753615 creator A5041905281 @default.
• W1785753615 date "2010-01-01" @default.
• W1785753615 modified "2023-09-27" @default.
• W1785753615 title "Computable Semantics for CTL* on Discrete-Time and Continuous-Space Dynamic Systems" @default.
• W1785753615 cites W1498432697 @default.
• W1785753615 cites W1504756454 @default.
• W1785753615 cites W1509579779 @default.
• W1785753615 cites W1998261607 @default.
• W1785753615 cites W2004306067 @default.
• W1785753615 cites W2023384404 @default.
• W1785753615 cites W2027931514 @default.
• W1785753615 cites W2029130197 @default.
• W1785753615 cites W2102281969 @default.
• W1785753615 cites W2113700085 @default.
• W1785753615 cites W2114540411 @default.
• W1785753615 cites W2117189826 @default.
• W1785753615 cites W2120954282 @default.
• W1785753615 cites W2136099086 @default.
• W1785753615 cites W2149070078 @default.
• W1785753615 cites W2180713429 @default.
• W1785753615 hasPublicationYear "2010" @default.
• W1785753615 type Work @default.
• W1785753615 sameAs 1785753615 @default.
• W1785753615 citedByCount "0" @default.
• W1785753615 crossrefType "journal-article" @default.
• W1785753615 hasAuthorship W1785753615A5019902087 @default.
• W1785753615 hasAuthorship W1785753615A5041905281 @default.
• W1785753615 hasConcept C110251889 @default.
• W1785753615 hasConcept C112505250 @default.
• W1785753615 hasConcept C11413529 @default.
• W1785753615 hasConcept C118615104 @default.
• W1785753615 hasConcept C136119220 @default.
• W1785753615 hasConcept C136643341 @default.
• W1785753615 hasConcept C147969180 @default.
• W1785753615 hasConcept C152062344 @default.
• W1785753615 hasConcept C154317977 @default.
• W1785753615 hasConcept C165753454 @default.
• W1785753615 hasConcept C184337299 @default.
• W1785753615 hasConcept C185592680 @default.
• W1785753615 hasConcept C194525867 @default.
• W1785753615 hasConcept C198008173 @default.
• W1785753615 hasConcept C199360897 @default.
• W1785753615 hasConcept C202444582 @default.
• W1785753615 hasConcept C202751555 @default.
• W1785753615 hasConcept C25016198 @default.
• W1785753615 hasConcept C33923547 @default.
• W1785753615 hasConcept C41008148 @default.
• W1785753615 hasConcept C55493867 @default.
• W1785753615 hasConcept C80444323 @default.
• W1785753615 hasConceptScore W1785753615C110251889 @default.
• W1785753615 hasConceptScore W1785753615C112505250 @default.
• W1785753615 hasConceptScore W1785753615C11413529 @default.
• W1785753615 hasConceptScore W1785753615C118615104 @default.
• W1785753615 hasConceptScore W1785753615C136119220 @default.
• W1785753615 hasConceptScore W1785753615C136643341 @default.
• W1785753615 hasConceptScore W1785753615C147969180 @default.
• W1785753615 hasConceptScore W1785753615C152062344 @default.
• W1785753615 hasConceptScore W1785753615C154317977 @default.
• W1785753615 hasConceptScore W1785753615C165753454 @default.
• W1785753615 hasConceptScore W1785753615C184337299 @default.
• W1785753615 hasConceptScore W1785753615C185592680 @default.
• W1785753615 hasConceptScore W1785753615C194525867 @default.
• W1785753615 hasConceptScore W1785753615C198008173 @default.
• W1785753615 hasConceptScore W1785753615C199360897 @default.
• W1785753615 hasConceptScore W1785753615C202444582 @default.
• W1785753615 hasConceptScore W1785753615C202751555 @default.
• W1785753615 hasConceptScore W1785753615C25016198 @default.
• W1785753615 hasConceptScore W1785753615C33923547 @default.
• W1785753615 hasConceptScore W1785753615C41008148 @default.
• W1785753615 hasConceptScore W1785753615C55493867 @default.
• W1785753615 hasConceptScore W1785753615C80444323 @default.
• W1785753615 hasIssue "1001" @default.
• W1785753615 hasLocation W17857536151 @default.
• W1785753615 hasOpenAccess W1785753615 @default.
• W1785753615 hasPrimaryLocation W17857536151 @default.
• W1785753615 hasRelatedWork W141312837 @default.
• W1785753615 hasRelatedWork W1592306554 @default.
• W1785753615 hasRelatedWork W1915945840 @default.
• W1785753615 hasRelatedWork W1966723394 @default.
• W1785753615 hasRelatedWork W1977166502 @default.
• W1785753615 hasRelatedWork W1981881367 @default.
• W1785753615 hasRelatedWork W20458949 @default.
• W1785753615 hasRelatedWork W2048853598 @default.
• W1785753615 hasRelatedWork W2096926737 @default.
• W1785753615 hasRelatedWork W2103150901 @default.
• W1785753615 hasRelatedWork W2165282416 @default.
• W1785753615 hasRelatedWork W2594205029 @default.
• W1785753615 hasRelatedWork W2753796405 @default.
• W1785753615 hasRelatedWork W2767756541 @default.
• W1785753615 hasRelatedWork W2796990656 @default.
• W1785753615 hasRelatedWork W2798742893 @default.
• W1785753615 hasRelatedWork W2952059577 @default.
• W1785753615 hasRelatedWork W2962805904 @default.
• W1785753615 hasRelatedWork W3160174216 @default.
• W1785753615 hasRelatedWork W32620562 @default.

• next