Matches in SemOpenAlex for { <https://semopenalex.org/work/W2756339378> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2756339378 endingPage "141" @default.
- W2756339378 startingPage "126" @default.
- W2756339378 abstract "The paper focuses on the problems of passive and active FSM inference as well as checking sequence generation. We consider the setting where an FSM cannot be reset so that its inference is constrained to a single trace either given a priori in passive inference scenario or to be constructed in active inference scenario or aiming at obtaining checking sequence for a given FSM. In each of the last two cases, the expected result is a trace representing a checking sequence for an inferred machine, if it was not given. We demonstrate that this can be achieved by a repetitive use of a procedure that infers an FSM from a given trace (identifying a minimal machine consistent with a trace) avoiding equivalent conjectures. We thus show that FSM inference and checking sequence construction can be seen as two sides of the same coin. Following an existing approach of constructing conjectures by SAT solving, we elaborate first such a procedure and then based on it the methods for obtaining checking sequence for a given FSM and inferring a machine from a black box. The novelty of our approach is that it does not use any state identification facilities. We only assume that we know initially the input set and a bound on the number of states of the machine. Experiments with a prototype implementation of the developed approach using as a backend an existing SAT solver indicate that it scales for FSMs with up to a dozen of states and requires relatively short sequences to identify the machine." @default.
- W2756339378 created "2017-09-25" @default.
- W2756339378 creator A5043879886 @default.
- W2756339378 creator A5059673708 @default.
- W2756339378 creator A5079848365 @default.
- W2756339378 creator A5089937731 @default.
- W2756339378 date "2017-01-01" @default.
- W2756339378 modified "2023-10-11" @default.
- W2756339378 title "From Passive to Active FSM Inference via Checking Sequence Construction" @default.
- W2756339378 cites W1009693448 @default.
- W2756339378 cites W106389465 @default.
- W2756339378 cites W1760635954 @default.
- W2756339378 cites W1877469621 @default.
- W2756339378 cites W2015815754 @default.
- W2756339378 cites W2017603160 @default.
- W2756339378 cites W2050621729 @default.
- W2756339378 cites W2073074602 @default.
- W2756339378 cites W2076343783 @default.
- W2756339378 cites W2101186835 @default.
- W2756339378 cites W2112944455 @default.
- W2756339378 cites W2140047593 @default.
- W2756339378 cites W2141811956 @default.
- W2756339378 cites W2144975401 @default.
- W2756339378 cites W2147573597 @default.
- W2756339378 cites W2160197556 @default.
- W2756339378 cites W2167653948 @default.
- W2756339378 cites W2293834385 @default.
- W2756339378 cites W2495746187 @default.
- W2756339378 cites W4232185822 @default.
- W2756339378 cites W4241372395 @default.
- W2756339378 cites W4246723710 @default.
- W2756339378 doi "https://doi.org/10.1007/978-3-319-67549-7_8" @default.
- W2756339378 hasPublicationYear "2017" @default.
- W2756339378 type Work @default.
- W2756339378 sameAs 2756339378 @default.
- W2756339378 citedByCount "10" @default.
- W2756339378 countsByYear W27563393782018 @default.
- W2756339378 countsByYear W27563393782019 @default.
- W2756339378 countsByYear W27563393782022 @default.
- W2756339378 crossrefType "book-chapter" @default.
- W2756339378 hasAuthorship W2756339378A5043879886 @default.
- W2756339378 hasAuthorship W2756339378A5059673708 @default.
- W2756339378 hasAuthorship W2756339378A5079848365 @default.
- W2756339378 hasAuthorship W2756339378A5089937731 @default.
- W2756339378 hasBestOaLocation W27563393782 @default.
- W2756339378 hasConcept C154945302 @default.
- W2756339378 hasConcept C199360897 @default.
- W2756339378 hasConcept C2776214188 @default.
- W2756339378 hasConcept C2778112365 @default.
- W2756339378 hasConcept C41008148 @default.
- W2756339378 hasConcept C54355233 @default.
- W2756339378 hasConcept C80444323 @default.
- W2756339378 hasConcept C86803240 @default.
- W2756339378 hasConceptScore W2756339378C154945302 @default.
- W2756339378 hasConceptScore W2756339378C199360897 @default.
- W2756339378 hasConceptScore W2756339378C2776214188 @default.
- W2756339378 hasConceptScore W2756339378C2778112365 @default.
- W2756339378 hasConceptScore W2756339378C41008148 @default.
- W2756339378 hasConceptScore W2756339378C54355233 @default.
- W2756339378 hasConceptScore W2756339378C80444323 @default.
- W2756339378 hasConceptScore W2756339378C86803240 @default.
- W2756339378 hasLocation W27563393781 @default.
- W2756339378 hasLocation W27563393782 @default.
- W2756339378 hasLocation W27563393783 @default.
- W2756339378 hasOpenAccess W2756339378 @default.
- W2756339378 hasPrimaryLocation W27563393781 @default.
- W2756339378 hasRelatedWork W1984019423 @default.
- W2756339378 hasRelatedWork W1986418932 @default.
- W2756339378 hasRelatedWork W2045526782 @default.
- W2756339378 hasRelatedWork W2055243143 @default.
- W2756339378 hasRelatedWork W2156919374 @default.
- W2756339378 hasRelatedWork W2357796999 @default.
- W2756339378 hasRelatedWork W2741131631 @default.
- W2756339378 hasRelatedWork W35446969 @default.
- W2756339378 hasRelatedWork W4280588203 @default.
- W2756339378 hasRelatedWork W4321636575 @default.
- W2756339378 isParatext "false" @default.
- W2756339378 isRetracted "false" @default.
- W2756339378 magId "2756339378" @default.
- W2756339378 workType "book-chapter" @default.