Matches in SemOpenAlex for { <https://semopenalex.org/work/W91907450> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W91907450 endingPage "230" @default.
- W91907450 startingPage "216" @default.
- W91907450 abstract "Establishing an accurate model for formal verification of an existing hardware or software system is often a manual process that is both time consuming and resource demanding. In order to ease the model construction phase, methods have recently been proposed for automatically learning accurate system models from data in the form of observations of the target system. Common for these approaches is that they assume the data to consist of multiple independent observation sequences. However, for certain types of systems, in particular many running embedded systems, one would only have access to a single long observation sequence, and in these situations existing automatic learning methods cannot be applied. In this paper, we adapt algorithms for learning variable order Markov chains from a single observation sequence of a target system, so that stationary system properties can be verified using the learned model. Experiments demonstrate that system properties (formulated as stationary probabilities of LTL formulas) can be reliably identified using the learned model." @default.
- W91907450 created "2016-06-24" @default.
- W91907450 creator A5005134461 @default.
- W91907450 creator A5014289413 @default.
- W91907450 creator A5020067516 @default.
- W91907450 creator A5021524118 @default.
- W91907450 creator A5069362159 @default.
- W91907450 creator A5080416900 @default.
- W91907450 date "2012-01-01" @default.
- W91907450 modified "2023-10-18" @default.
- W91907450 title "Learning Markov Models for Stationary System Behaviors" @default.
- W91907450 cites W1486103693 @default.
- W91907450 cites W1489725951 @default.
- W91907450 cites W1560643704 @default.
- W91907450 cites W1631091010 @default.
- W91907450 cites W1862398452 @default.
- W91907450 cites W1992996044 @default.
- W91907450 cites W2054658115 @default.
- W91907450 cites W2103396489 @default.
- W91907450 cites W2114404258 @default.
- W91907450 cites W2168175751 @default.
- W91907450 cites W4234588445 @default.
- W91907450 cites W4238064072 @default.
- W91907450 doi "https://doi.org/10.1007/978-3-642-28891-3_22" @default.
- W91907450 hasPublicationYear "2012" @default.
- W91907450 type Work @default.
- W91907450 sameAs 91907450 @default.
- W91907450 citedByCount "16" @default.
- W91907450 countsByYear W919074502012 @default.
- W91907450 countsByYear W919074502013 @default.
- W91907450 countsByYear W919074502015 @default.
- W91907450 countsByYear W919074502016 @default.
- W91907450 countsByYear W919074502017 @default.
- W91907450 countsByYear W919074502018 @default.
- W91907450 countsByYear W919074502020 @default.
- W91907450 countsByYear W919074502021 @default.
- W91907450 crossrefType "book-chapter" @default.
- W91907450 hasAuthorship W91907450A5005134461 @default.
- W91907450 hasAuthorship W91907450A5014289413 @default.
- W91907450 hasAuthorship W91907450A5020067516 @default.
- W91907450 hasAuthorship W91907450A5021524118 @default.
- W91907450 hasAuthorship W91907450A5069362159 @default.
- W91907450 hasAuthorship W91907450A5080416900 @default.
- W91907450 hasBestOaLocation W919074502 @default.
- W91907450 hasConcept C105795698 @default.
- W91907450 hasConcept C119857082 @default.
- W91907450 hasConcept C124101348 @default.
- W91907450 hasConcept C154945302 @default.
- W91907450 hasConcept C159886148 @default.
- W91907450 hasConcept C163836022 @default.
- W91907450 hasConcept C199360897 @default.
- W91907450 hasConcept C23224414 @default.
- W91907450 hasConcept C2777904410 @default.
- W91907450 hasConcept C2778112365 @default.
- W91907450 hasConcept C33923547 @default.
- W91907450 hasConcept C41008148 @default.
- W91907450 hasConcept C54355233 @default.
- W91907450 hasConcept C86803240 @default.
- W91907450 hasConcept C98045186 @default.
- W91907450 hasConcept C98763669 @default.
- W91907450 hasConceptScore W91907450C105795698 @default.
- W91907450 hasConceptScore W91907450C119857082 @default.
- W91907450 hasConceptScore W91907450C124101348 @default.
- W91907450 hasConceptScore W91907450C154945302 @default.
- W91907450 hasConceptScore W91907450C159886148 @default.
- W91907450 hasConceptScore W91907450C163836022 @default.
- W91907450 hasConceptScore W91907450C199360897 @default.
- W91907450 hasConceptScore W91907450C23224414 @default.
- W91907450 hasConceptScore W91907450C2777904410 @default.
- W91907450 hasConceptScore W91907450C2778112365 @default.
- W91907450 hasConceptScore W91907450C33923547 @default.
- W91907450 hasConceptScore W91907450C41008148 @default.
- W91907450 hasConceptScore W91907450C54355233 @default.
- W91907450 hasConceptScore W91907450C86803240 @default.
- W91907450 hasConceptScore W91907450C98045186 @default.
- W91907450 hasConceptScore W91907450C98763669 @default.
- W91907450 hasLocation W919074501 @default.
- W91907450 hasLocation W919074502 @default.
- W91907450 hasOpenAccess W91907450 @default.
- W91907450 hasPrimaryLocation W919074501 @default.
- W91907450 hasRelatedWork W2039473210 @default.
- W91907450 hasRelatedWork W2111983527 @default.
- W91907450 hasRelatedWork W2118728396 @default.
- W91907450 hasRelatedWork W2169575375 @default.
- W91907450 hasRelatedWork W2350115929 @default.
- W91907450 hasRelatedWork W2901259486 @default.
- W91907450 hasRelatedWork W2963414935 @default.
- W91907450 hasRelatedWork W3126873283 @default.
- W91907450 hasRelatedWork W3164302780 @default.
- W91907450 hasRelatedWork W4289285260 @default.
- W91907450 isParatext "false" @default.
- W91907450 isRetracted "false" @default.
- W91907450 magId "91907450" @default.
- W91907450 workType "book-chapter" @default.