Matches in SemOpenAlex for { <https://semopenalex.org/work/W2153485994> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2153485994 endingPage "61" @default.
- W2153485994 startingPage "47" @default.
- W2153485994 abstract "One clock alternating timed automata (OCATA) have been recently introduced as natural extension of (one clock) timed automata to express the semantics of MTL [12]. We consider the application of OCATA to problem of model-checking MITL formulas (a syntactic fragment of MTL) against timed automata. We introduce a new semantics for OCATA where, intuitively, clock valuations are intervals instead of single values in ℝ. Thanks to this new semantics, we show that we can bound the number of clock copies that are necessary to allow an OCATA to recognise the models of an MITL formula. Equipped with this technique, we propose a new algorithm to translate an MITL formula into a timed automaton, and we sketch several ideas to define new model checking algorithms for MITL." @default.
- W2153485994 created "2016-06-24" @default.
- W2153485994 creator A5022195841 @default.
- W2153485994 creator A5058564780 @default.
- W2153485994 creator A5070197309 @default.
- W2153485994 date "2013-01-01" @default.
- W2153485994 modified "2023-10-14" @default.
- W2153485994 title "On MITL and Alternating Timed Automata" @default.
- W2153485994 cites W1497805930 @default.
- W2153485994 cites W1592306554 @default.
- W2153485994 cites W1667231716 @default.
- W2153485994 cites W180130748 @default.
- W2153485994 cites W1964297656 @default.
- W2153485994 cites W2022782983 @default.
- W2153485994 cites W2026629052 @default.
- W2153485994 cites W2049696538 @default.
- W2153485994 cites W2061438988 @default.
- W2153485994 cites W2101508170 @default.
- W2153485994 cites W3023191323 @default.
- W2153485994 doi "https://doi.org/10.1007/978-3-642-40229-6_4" @default.
- W2153485994 hasPublicationYear "2013" @default.
- W2153485994 type Work @default.
- W2153485994 sameAs 2153485994 @default.
- W2153485994 citedByCount "11" @default.
- W2153485994 countsByYear W21534859942014 @default.
- W2153485994 countsByYear W21534859942016 @default.
- W2153485994 countsByYear W21534859942017 @default.
- W2153485994 countsByYear W21534859942018 @default.
- W2153485994 countsByYear W21534859942019 @default.
- W2153485994 crossrefType "book-chapter" @default.
- W2153485994 hasAuthorship W2153485994A5022195841 @default.
- W2153485994 hasAuthorship W2153485994A5058564780 @default.
- W2153485994 hasAuthorship W2153485994A5070197309 @default.
- W2153485994 hasBestOaLocation W21534859942 @default.
- W2153485994 hasConcept C110251889 @default.
- W2153485994 hasConcept C112505250 @default.
- W2153485994 hasConcept C11413529 @default.
- W2153485994 hasConcept C184337299 @default.
- W2153485994 hasConcept C199360897 @default.
- W2153485994 hasConcept C2778029271 @default.
- W2153485994 hasConcept C2779231336 @default.
- W2153485994 hasConcept C30788636 @default.
- W2153485994 hasConcept C41008148 @default.
- W2153485994 hasConcept C80444323 @default.
- W2153485994 hasConceptScore W2153485994C110251889 @default.
- W2153485994 hasConceptScore W2153485994C112505250 @default.
- W2153485994 hasConceptScore W2153485994C11413529 @default.
- W2153485994 hasConceptScore W2153485994C184337299 @default.
- W2153485994 hasConceptScore W2153485994C199360897 @default.
- W2153485994 hasConceptScore W2153485994C2778029271 @default.
- W2153485994 hasConceptScore W2153485994C2779231336 @default.
- W2153485994 hasConceptScore W2153485994C30788636 @default.
- W2153485994 hasConceptScore W2153485994C41008148 @default.
- W2153485994 hasConceptScore W2153485994C80444323 @default.
- W2153485994 hasLocation W21534859941 @default.
- W2153485994 hasLocation W21534859942 @default.
- W2153485994 hasLocation W21534859943 @default.
- W2153485994 hasOpenAccess W2153485994 @default.
- W2153485994 hasPrimaryLocation W21534859941 @default.
- W2153485994 hasRelatedWork W2004126468 @default.
- W2153485994 hasRelatedWork W2082762653 @default.
- W2153485994 hasRelatedWork W2093338861 @default.
- W2153485994 hasRelatedWork W2123384876 @default.
- W2153485994 hasRelatedWork W2126748297 @default.
- W2153485994 hasRelatedWork W2151277984 @default.
- W2153485994 hasRelatedWork W2152996796 @default.
- W2153485994 hasRelatedWork W2196692106 @default.
- W2153485994 hasRelatedWork W2991618286 @default.
- W2153485994 hasRelatedWork W51650568 @default.
- W2153485994 isParatext "false" @default.
- W2153485994 isRetracted "false" @default.
- W2153485994 magId "2153485994" @default.
- W2153485994 workType "book-chapter" @default.