Matches in SemOpenAlex for { <https://semopenalex.org/work/W1981881367> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W1981881367 endingPage "821" @default.
- W1981881367 startingPage "801" @default.
- W1981881367 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, 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 Büchi automaton corresponding to the verified LTL formula." @default.
- W1981881367 created "2016-06-24" @default.
- W1981881367 creator A5019902087 @default.
- W1981881367 creator A5041905281 @default.
- W1981881367 date "2011-06-01" @default.
- W1981881367 modified "2023-09-23" @default.
- W1981881367 title "COMPUTABLE SEMANTICS FOR CTL* ON DISCRETE-TIME AND CONTINUOUS-SPACE DYNAMIC SYSTEMS" @default.
- W1981881367 cites W1998261607 @default.
- W1981881367 cites W2004306067 @default.
- W1981881367 cites W2023384404 @default.
- W1981881367 cites W2027931514 @default.
- W1981881367 cites W2029130197 @default.
- W1981881367 cites W2113700085 @default.
- W1981881367 cites W2117189826 @default.
- W1981881367 cites W2180713429 @default.
- W1981881367 cites W41095567 @default.
- W1981881367 cites W4243563333 @default.
- W1981881367 doi "https://doi.org/10.1142/s012905411100843x" @default.
- W1981881367 hasPublicationYear "2011" @default.
- W1981881367 type Work @default.
- W1981881367 sameAs 1981881367 @default.
- W1981881367 citedByCount "1" @default.
- W1981881367 countsByYear W19818813672014 @default.
- W1981881367 crossrefType "journal-article" @default.
- W1981881367 hasAuthorship W1981881367A5019902087 @default.
- W1981881367 hasAuthorship W1981881367A5041905281 @default.
- W1981881367 hasBestOaLocation W19818813672 @default.
- W1981881367 hasConcept C110251889 @default.
- W1981881367 hasConcept C112505250 @default.
- W1981881367 hasConcept C118615104 @default.
- W1981881367 hasConcept C136119220 @default.
- W1981881367 hasConcept C136643341 @default.
- W1981881367 hasConcept C147969180 @default.
- W1981881367 hasConcept C152062344 @default.
- W1981881367 hasConcept C154317977 @default.
- W1981881367 hasConcept C184337299 @default.
- W1981881367 hasConcept C185592680 @default.
- W1981881367 hasConcept C199360897 @default.
- W1981881367 hasConcept C202444582 @default.
- W1981881367 hasConcept C202751555 @default.
- W1981881367 hasConcept C25016198 @default.
- W1981881367 hasConcept C33923547 @default.
- W1981881367 hasConcept C41008148 @default.
- W1981881367 hasConcept C55493867 @default.
- W1981881367 hasConcept C80444323 @default.
- W1981881367 hasConceptScore W1981881367C110251889 @default.
- W1981881367 hasConceptScore W1981881367C112505250 @default.
- W1981881367 hasConceptScore W1981881367C118615104 @default.
- W1981881367 hasConceptScore W1981881367C136119220 @default.
- W1981881367 hasConceptScore W1981881367C136643341 @default.
- W1981881367 hasConceptScore W1981881367C147969180 @default.
- W1981881367 hasConceptScore W1981881367C152062344 @default.
- W1981881367 hasConceptScore W1981881367C154317977 @default.
- W1981881367 hasConceptScore W1981881367C184337299 @default.
- W1981881367 hasConceptScore W1981881367C185592680 @default.
- W1981881367 hasConceptScore W1981881367C199360897 @default.
- W1981881367 hasConceptScore W1981881367C202444582 @default.
- W1981881367 hasConceptScore W1981881367C202751555 @default.
- W1981881367 hasConceptScore W1981881367C25016198 @default.
- W1981881367 hasConceptScore W1981881367C33923547 @default.
- W1981881367 hasConceptScore W1981881367C41008148 @default.
- W1981881367 hasConceptScore W1981881367C55493867 @default.
- W1981881367 hasConceptScore W1981881367C80444323 @default.
- W1981881367 hasIssue "04" @default.
- W1981881367 hasLocation W19818813671 @default.
- W1981881367 hasLocation W19818813672 @default.
- W1981881367 hasOpenAccess W1981881367 @default.
- W1981881367 hasPrimaryLocation W19818813671 @default.
- W1981881367 hasRelatedWork W1518439360 @default.
- W1981881367 hasRelatedWork W1981881367 @default.
- W1981881367 hasRelatedWork W2037416037 @default.
- W1981881367 hasRelatedWork W2107012191 @default.
- W1981881367 hasRelatedWork W2151277984 @default.
- W1981881367 hasRelatedWork W2404089326 @default.
- W1981881367 hasRelatedWork W2731301312 @default.
- W1981881367 hasRelatedWork W2731702105 @default.
- W1981881367 hasRelatedWork W4214723139 @default.
- W1981881367 hasRelatedWork W2463499912 @default.
- W1981881367 hasVolume "22" @default.
- W1981881367 isParatext "false" @default.
- W1981881367 isRetracted "false" @default.
- W1981881367 magId "1981881367" @default.
- W1981881367 workType "article" @default.