Matches in SemOpenAlex for { <https://semopenalex.org/work/W1544012959> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W1544012959 endingPage "83" @default.
- W1544012959 startingPage "68" @default.
- W1544012959 abstract "We consider a general notion of timed automata with input-determined guards and show that they admit a robust logical framework along the lines of [6], in terms of a monadic second order logic characterisation and an expressively complete timed temporal logic. We then generalize these automata using the notion of recursive operators introduced by Henzinger, Raskin, and Schobbens [10], and show that they admit a similar logical framework. These results hold in the “pointwise” semantics. We finally use this framework to show that the real-time logic MITL of Alur et al [2] is expressively complete with respect to an MSO corresponding to an appropriate set of input-determined operators." @default.
- W1544012959 created "2016-06-24" @default.
- W1544012959 creator A5033499088 @default.
- W1544012959 creator A5045349712 @default.
- W1544012959 date "2004-01-01" @default.
- W1544012959 modified "2023-10-10" @default.
- W1544012959 title "On Timed Automata with Input-Determined Guards" @default.
- W1544012959 cites W1544012959 @default.
- W1544012959 cites W1607529814 @default.
- W1544012959 cites W1608292181 @default.
- W1544012959 cites W2023808162 @default.
- W1544012959 cites W2026629052 @default.
- W1544012959 cites W2049696538 @default.
- W1544012959 cites W2101508170 @default.
- W1544012959 cites W2102566802 @default.
- W1544012959 cites W2139891885 @default.
- W1544012959 cites W2143622351 @default.
- W1544012959 cites W2157319504 @default.
- W1544012959 cites W4205178514 @default.
- W1544012959 doi "https://doi.org/10.1007/978-3-540-30206-3_7" @default.
- W1544012959 hasPublicationYear "2004" @default.
- W1544012959 type Work @default.
- W1544012959 sameAs 1544012959 @default.
- W1544012959 citedByCount "28" @default.
- W1544012959 countsByYear W15440129592012 @default.
- W1544012959 countsByYear W15440129592013 @default.
- W1544012959 countsByYear W15440129592014 @default.
- W1544012959 countsByYear W15440129592015 @default.
- W1544012959 countsByYear W15440129592017 @default.
- W1544012959 countsByYear W15440129592018 @default.
- W1544012959 countsByYear W15440129592021 @default.
- W1544012959 countsByYear W15440129592023 @default.
- W1544012959 crossrefType "book-chapter" @default.
- W1544012959 hasAuthorship W1544012959A5033499088 @default.
- W1544012959 hasAuthorship W1544012959A5045349712 @default.
- W1544012959 hasBestOaLocation W15440129592 @default.
- W1544012959 hasConcept C112505250 @default.
- W1544012959 hasConcept C11413529 @default.
- W1544012959 hasConcept C118615104 @default.
- W1544012959 hasConcept C134306372 @default.
- W1544012959 hasConcept C177264268 @default.
- W1544012959 hasConcept C184337299 @default.
- W1544012959 hasConcept C199360897 @default.
- W1544012959 hasConcept C25016198 @default.
- W1544012959 hasConcept C2777984123 @default.
- W1544012959 hasConcept C30788636 @default.
- W1544012959 hasConcept C33923547 @default.
- W1544012959 hasConcept C41008148 @default.
- W1544012959 hasConcept C80444323 @default.
- W1544012959 hasConceptScore W1544012959C112505250 @default.
- W1544012959 hasConceptScore W1544012959C11413529 @default.
- W1544012959 hasConceptScore W1544012959C118615104 @default.
- W1544012959 hasConceptScore W1544012959C134306372 @default.
- W1544012959 hasConceptScore W1544012959C177264268 @default.
- W1544012959 hasConceptScore W1544012959C184337299 @default.
- W1544012959 hasConceptScore W1544012959C199360897 @default.
- W1544012959 hasConceptScore W1544012959C25016198 @default.
- W1544012959 hasConceptScore W1544012959C2777984123 @default.
- W1544012959 hasConceptScore W1544012959C30788636 @default.
- W1544012959 hasConceptScore W1544012959C33923547 @default.
- W1544012959 hasConceptScore W1544012959C41008148 @default.
- W1544012959 hasConceptScore W1544012959C80444323 @default.
- W1544012959 hasLocation W15440129591 @default.
- W1544012959 hasLocation W15440129592 @default.
- W1544012959 hasLocation W15440129593 @default.
- W1544012959 hasLocation W15440129594 @default.
- W1544012959 hasLocation W15440129595 @default.
- W1544012959 hasOpenAccess W1544012959 @default.
- W1544012959 hasPrimaryLocation W15440129591 @default.
- W1544012959 hasRelatedWork W1571606103 @default.
- W1544012959 hasRelatedWork W1750171350 @default.
- W1544012959 hasRelatedWork W1903000972 @default.
- W1544012959 hasRelatedWork W2035000455 @default.
- W1544012959 hasRelatedWork W2095644384 @default.
- W1544012959 hasRelatedWork W2121845202 @default.
- W1544012959 hasRelatedWork W2148140319 @default.
- W1544012959 hasRelatedWork W2242084152 @default.
- W1544012959 hasRelatedWork W2569130014 @default.
- W1544012959 hasRelatedWork W2900094146 @default.
- W1544012959 isParatext "false" @default.
- W1544012959 isRetracted "false" @default.
- W1544012959 magId "1544012959" @default.
- W1544012959 workType "book-chapter" @default.