Matches in SemOpenAlex for { <https://semopenalex.org/work/W2956147405> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2956147405 endingPage "430" @default.
- W2956147405 startingPage "417" @default.
- W2956147405 abstract "Mealy machines transduce inputs to outputs, based on finite memory. They are often used to model reactive systems. The requirements on their behaviour can be specified by formulas in Linear-time Temporal Logic. We will study two interpretations of LTL for Mealy machines: the synchronous semantics, where inputs and outputs occur simultaneously; and the alternating semantics, where inputs and outputs strictly alternate. We define and study Mealy-robust LTL properties, which are insensitive to which of these interpretations is chosen. The motivating application is in the context of black-box checking: Given the interface to some reactive system, one would like to test that a particular LTL property holds. To this end, we combine active automata learning with model checking into sound black-box checking. Here the LTL properties are already checked on intermediate hypotheses, in order to speed up the learner. Finally, we perform an experiment on the Mealy machines provided by the RERS challenge (Rigorous Examination of Reactive Systems). We investigate how many LTL properties from the RERS challenges in 2016 and 2017 are actually robust." @default.
- W2956147405 created "2019-07-12" @default.
- W2956147405 creator A5012697499 @default.
- W2956147405 creator A5052045186 @default.
- W2956147405 date "2019-01-01" @default.
- W2956147405 modified "2023-10-04" @default.
- W2956147405 title "Synchronous or Alternating?" @default.
- W2956147405 cites W186035943 @default.
- W2956147405 cites W1864649459 @default.
- W2956147405 cites W1989445634 @default.
- W2956147405 cites W2012935476 @default.
- W2956147405 cites W2023808162 @default.
- W2956147405 cites W2075773711 @default.
- W2956147405 cites W2092622056 @default.
- W2956147405 cites W2144576644 @default.
- W2956147405 cites W2528081193 @default.
- W2956147405 cites W2735934205 @default.
- W2956147405 cites W2789551577 @default.
- W2956147405 cites W2912640545 @default.
- W2956147405 cites W315890393 @default.
- W2956147405 cites W76522493 @default.
- W2956147405 cites W86290638 @default.
- W2956147405 cites W941301462 @default.
- W2956147405 doi "https://doi.org/10.1007/978-3-030-22348-9_24" @default.
- W2956147405 hasPublicationYear "2019" @default.
- W2956147405 type Work @default.
- W2956147405 sameAs 2956147405 @default.
- W2956147405 citedByCount "5" @default.
- W2956147405 countsByYear W29561474052019 @default.
- W2956147405 countsByYear W29561474052021 @default.
- W2956147405 countsByYear W29561474052022 @default.
- W2956147405 countsByYear W29561474052023 @default.
- W2956147405 crossrefType "book-chapter" @default.
- W2956147405 hasAuthorship W2956147405A5012697499 @default.
- W2956147405 hasAuthorship W2956147405A5052045186 @default.
- W2956147405 hasConcept C110251889 @default.
- W2956147405 hasConcept C111472728 @default.
- W2956147405 hasConcept C112505250 @default.
- W2956147405 hasConcept C11413529 @default.
- W2956147405 hasConcept C138885662 @default.
- W2956147405 hasConcept C151730666 @default.
- W2956147405 hasConcept C154945302 @default.
- W2956147405 hasConcept C167822520 @default.
- W2956147405 hasConcept C184337299 @default.
- W2956147405 hasConcept C189950617 @default.
- W2956147405 hasConcept C199360897 @default.
- W2956147405 hasConcept C25016198 @default.
- W2956147405 hasConcept C2779343474 @default.
- W2956147405 hasConcept C41008148 @default.
- W2956147405 hasConcept C4777664 @default.
- W2956147405 hasConcept C80444323 @default.
- W2956147405 hasConcept C86803240 @default.
- W2956147405 hasConcept C94966114 @default.
- W2956147405 hasConceptScore W2956147405C110251889 @default.
- W2956147405 hasConceptScore W2956147405C111472728 @default.
- W2956147405 hasConceptScore W2956147405C112505250 @default.
- W2956147405 hasConceptScore W2956147405C11413529 @default.
- W2956147405 hasConceptScore W2956147405C138885662 @default.
- W2956147405 hasConceptScore W2956147405C151730666 @default.
- W2956147405 hasConceptScore W2956147405C154945302 @default.
- W2956147405 hasConceptScore W2956147405C167822520 @default.
- W2956147405 hasConceptScore W2956147405C184337299 @default.
- W2956147405 hasConceptScore W2956147405C189950617 @default.
- W2956147405 hasConceptScore W2956147405C199360897 @default.
- W2956147405 hasConceptScore W2956147405C25016198 @default.
- W2956147405 hasConceptScore W2956147405C2779343474 @default.
- W2956147405 hasConceptScore W2956147405C41008148 @default.
- W2956147405 hasConceptScore W2956147405C4777664 @default.
- W2956147405 hasConceptScore W2956147405C80444323 @default.
- W2956147405 hasConceptScore W2956147405C86803240 @default.
- W2956147405 hasConceptScore W2956147405C94966114 @default.
- W2956147405 hasLocation W29561474051 @default.
- W2956147405 hasOpenAccess W2956147405 @default.
- W2956147405 hasPrimaryLocation W29561474051 @default.
- W2956147405 hasRelatedWork W1481403881 @default.
- W2956147405 hasRelatedWork W1527462432 @default.
- W2956147405 hasRelatedWork W1604890813 @default.
- W2956147405 hasRelatedWork W2114768982 @default.
- W2956147405 hasRelatedWork W2151277984 @default.
- W2956147405 hasRelatedWork W2268729304 @default.
- W2956147405 hasRelatedWork W2604575008 @default.
- W2956147405 hasRelatedWork W2798742893 @default.
- W2956147405 hasRelatedWork W2956147405 @default.
- W2956147405 hasRelatedWork W4286892938 @default.
- W2956147405 isParatext "false" @default.
- W2956147405 isRetracted "false" @default.
- W2956147405 magId "2956147405" @default.
- W2956147405 workType "book-chapter" @default.