FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2114404258> ?p ?o ?g. }

• W2114404258 abstract "Obtaining accurate system models for verification is a hard and time consuming process, which is seen by industry as a hindrance to adopt otherwise powerful model driven development techniques and tools. In this paper we pursue an alternative approach where an accurate high-level model can be automatically constructed from observations of a given black-box embedded system. We adapt algorithms for learning finite probabilistic automata from observed system behaviors. We prove that in the limit of large sample sizes the learned model will be an accurate representation of the data-generating system. In particular, in the large sample limit, the learned model and the original system will define the same probabilities for linear temporal logic (LTL) properties. Thus, we can perform PLTL model-checking on the learned model to infer properties of the system. We perform experiments learning models from system observations at different levels of abstraction. The experimental results show the learned models provide very good approximations for relevant properties of the original system." @default.
• W2114404258 created "2016-06-24" @default.
• W2114404258 creator A5005134461 @default.
• W2114404258 creator A5014289413 @default.
• W2114404258 creator A5020067516 @default.
• W2114404258 creator A5021524118 @default.
• W2114404258 creator A5069362159 @default.
• W2114404258 creator A5080416900 @default.
• W2114404258 date "2011-09-01" @default.
• W2114404258 modified "2023-10-14" @default.
• W2114404258 title "Learning Probabilistic Automata for Model Checking" @default.
• W2114404258 cites W1486103693 @default.
• W2114404258 cites W1883237636 @default.
• W2114404258 cites W1972203711 @default.
• W2114404258 cites W1989445634 @default.
• W2114404258 cites W1992996044 @default.
• W2114404258 cites W2049930808 @default.
• W2114404258 cites W2082863623 @default.
• W2114404258 cites W2165161585 @default.
• W2114404258 cites W4233436407 @default.
• W2114404258 cites W4238064072 @default.
• W2114404258 cites W4241372395 @default.
• W2114404258 doi "https://doi.org/10.1109/qest.2011.21" @default.
• W2114404258 hasPublicationYear "2011" @default.
• W2114404258 type Work @default.
• W2114404258 sameAs 2114404258 @default.
• W2114404258 citedByCount "48" @default.
• W2114404258 countsByYear W21144042582012 @default.
• W2114404258 countsByYear W21144042582013 @default.
• W2114404258 countsByYear W21144042582014 @default.
• W2114404258 countsByYear W21144042582015 @default.
• W2114404258 countsByYear W21144042582016 @default.
• W2114404258 countsByYear W21144042582017 @default.
• W2114404258 countsByYear W21144042582018 @default.
• W2114404258 countsByYear W21144042582019 @default.
• W2114404258 countsByYear W21144042582020 @default.
• W2114404258 countsByYear W21144042582021 @default.
• W2114404258 countsByYear W21144042582023 @default.
• W2114404258 crossrefType "proceedings-article" @default.
• W2114404258 hasAuthorship W2114404258A5005134461 @default.
• W2114404258 hasAuthorship W2114404258A5014289413 @default.
• W2114404258 hasAuthorship W2114404258A5020067516 @default.
• W2114404258 hasAuthorship W2114404258A5021524118 @default.
• W2114404258 hasAuthorship W2114404258A5069362159 @default.
• W2114404258 hasAuthorship W2114404258A5080416900 @default.
• W2114404258 hasBestOaLocation W21144042582 @default.
• W2114404258 hasConcept C110251889 @default.
• W2114404258 hasConcept C111472728 @default.
• W2114404258 hasConcept C112505250 @default.
• W2114404258 hasConcept C114289077 @default.
• W2114404258 hasConcept C119857082 @default.
• W2114404258 hasConcept C124304363 @default.
• W2114404258 hasConcept C134306372 @default.
• W2114404258 hasConcept C138885662 @default.
• W2114404258 hasConcept C151201525 @default.
• W2114404258 hasConcept C154945302 @default.
• W2114404258 hasConcept C174784677 @default.
• W2114404258 hasConcept C17744445 @default.
• W2114404258 hasConcept C185592680 @default.
• W2114404258 hasConcept C198531522 @default.
• W2114404258 hasConcept C199360897 @default.
• W2114404258 hasConcept C199539241 @default.
• W2114404258 hasConcept C25016198 @default.
• W2114404258 hasConcept C2776359362 @default.
• W2114404258 hasConcept C30888246 @default.
• W2114404258 hasConcept C33923547 @default.
• W2114404258 hasConcept C41008148 @default.
• W2114404258 hasConcept C43617362 @default.
• W2114404258 hasConcept C4777664 @default.
• W2114404258 hasConcept C49937458 @default.
• W2114404258 hasConcept C80444323 @default.
• W2114404258 hasConcept C94625758 @default.
• W2114404258 hasConcept C94966114 @default.
• W2114404258 hasConcept C98045186 @default.
• W2114404258 hasConceptScore W2114404258C110251889 @default.
• W2114404258 hasConceptScore W2114404258C111472728 @default.
• W2114404258 hasConceptScore W2114404258C112505250 @default.
• W2114404258 hasConceptScore W2114404258C114289077 @default.
• W2114404258 hasConceptScore W2114404258C119857082 @default.
• W2114404258 hasConceptScore W2114404258C124304363 @default.
• W2114404258 hasConceptScore W2114404258C134306372 @default.
• W2114404258 hasConceptScore W2114404258C138885662 @default.
• W2114404258 hasConceptScore W2114404258C151201525 @default.
• W2114404258 hasConceptScore W2114404258C154945302 @default.
• W2114404258 hasConceptScore W2114404258C174784677 @default.
• W2114404258 hasConceptScore W2114404258C17744445 @default.
• W2114404258 hasConceptScore W2114404258C185592680 @default.
• W2114404258 hasConceptScore W2114404258C198531522 @default.
• W2114404258 hasConceptScore W2114404258C199360897 @default.
• W2114404258 hasConceptScore W2114404258C199539241 @default.
• W2114404258 hasConceptScore W2114404258C25016198 @default.
• W2114404258 hasConceptScore W2114404258C2776359362 @default.
• W2114404258 hasConceptScore W2114404258C30888246 @default.
• W2114404258 hasConceptScore W2114404258C33923547 @default.
• W2114404258 hasConceptScore W2114404258C41008148 @default.
• W2114404258 hasConceptScore W2114404258C43617362 @default.
• W2114404258 hasConceptScore W2114404258C4777664 @default.
• W2114404258 hasConceptScore W2114404258C49937458 @default.
• W2114404258 hasConceptScore W2114404258C80444323 @default.
• W2114404258 hasConceptScore W2114404258C94625758 @default.

• next