Matches in SemOpenAlex for { <https://semopenalex.org/work/W3204198211> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W3204198211 abstract "Cyber-physical systems (CPSs) are naturally modelled as reactive systems with nondeterministic and probabilistic dynamics. Model-based verification techniques have proved effective in the deployment of safety-critical CPSs. Central for a successful application of such techniques is the construction of an accurate formal model for the system. Manual construction can be a resource-demanding and error-prone process, thus motivating the design of automata learning algorithms to synthesise a system model from observed system behaviours. This paper revisits and adapts the classic Baum-Welch algorithm for learning Markov decision processes and Markov chains. For the case of MDPs, which typically demand more observations, we present a model-based active learning sampling strategy that choses examples which are most informative w.r.t. the current model hypothesis. We empirically compare our approach with state-of-the-art tools and demonstrate that the proposed active learning procedure can significantly reduce the number of observations required to obtain accurate models." @default.
- W3204198211 created "2021-10-11" @default.
- W3204198211 creator A5016152088 @default.
- W3204198211 creator A5016540152 @default.
- W3204198211 creator A5069362159 @default.
- W3204198211 creator A5084799940 @default.
- W3204198211 date "2021-10-06" @default.
- W3204198211 modified "2023-09-25" @default.
- W3204198211 title "Active Learning of Markov Decision Processes using Baum-Welch algorithm (Extended)." @default.
- W3204198211 cites W125973810 @default.
- W3204198211 cites W1486103693 @default.
- W3204198211 cites W1498432697 @default.
- W3204198211 cites W186035943 @default.
- W3204198211 cites W1862398452 @default.
- W3204198211 cites W1989445634 @default.
- W3204198211 cites W2035006902 @default.
- W3204198211 cites W2049633694 @default.
- W3204198211 cites W2081965739 @default.
- W3204198211 cites W2082863623 @default.
- W3204198211 cites W2114404258 @default.
- W3204198211 cites W2125838338 @default.
- W3204198211 cites W2213779776 @default.
- W3204198211 cites W2278484901 @default.
- W3204198211 cites W2406438973 @default.
- W3204198211 cites W2528017977 @default.
- W3204198211 cites W2593267253 @default.
- W3204198211 cites W2912198824 @default.
- W3204198211 cites W2974528425 @default.
- W3204198211 cites W3100857140 @default.
- W3204198211 cites W315890393 @default.
- W3204198211 hasPublicationYear "2021" @default.
- W3204198211 type Work @default.
- W3204198211 sameAs 3204198211 @default.
- W3204198211 citedByCount "0" @default.
- W3204198211 crossrefType "posted-content" @default.
- W3204198211 hasAuthorship W3204198211A5016152088 @default.
- W3204198211 hasAuthorship W3204198211A5016540152 @default.
- W3204198211 hasAuthorship W3204198211A5069362159 @default.
- W3204198211 hasAuthorship W3204198211A5084799940 @default.
- W3204198211 hasConcept C105339364 @default.
- W3204198211 hasConcept C105795698 @default.
- W3204198211 hasConcept C106189395 @default.
- W3204198211 hasConcept C111919701 @default.
- W3204198211 hasConcept C11413529 @default.
- W3204198211 hasConcept C119857082 @default.
- W3204198211 hasConcept C154945302 @default.
- W3204198211 hasConcept C159886148 @default.
- W3204198211 hasConcept C176181172 @default.
- W3204198211 hasConcept C33923547 @default.
- W3204198211 hasConcept C41008148 @default.
- W3204198211 hasConcept C49937458 @default.
- W3204198211 hasConcept C98763669 @default.
- W3204198211 hasConceptScore W3204198211C105339364 @default.
- W3204198211 hasConceptScore W3204198211C105795698 @default.
- W3204198211 hasConceptScore W3204198211C106189395 @default.
- W3204198211 hasConceptScore W3204198211C111919701 @default.
- W3204198211 hasConceptScore W3204198211C11413529 @default.
- W3204198211 hasConceptScore W3204198211C119857082 @default.
- W3204198211 hasConceptScore W3204198211C154945302 @default.
- W3204198211 hasConceptScore W3204198211C159886148 @default.
- W3204198211 hasConceptScore W3204198211C176181172 @default.
- W3204198211 hasConceptScore W3204198211C33923547 @default.
- W3204198211 hasConceptScore W3204198211C41008148 @default.
- W3204198211 hasConceptScore W3204198211C49937458 @default.
- W3204198211 hasConceptScore W3204198211C98763669 @default.
- W3204198211 hasLocation W32041982111 @default.
- W3204198211 hasOpenAccess W3204198211 @default.
- W3204198211 hasPrimaryLocation W32041982111 @default.
- W3204198211 hasRelatedWork W1504452251 @default.
- W3204198211 hasRelatedWork W1552684655 @default.
- W3204198211 hasRelatedWork W1556387789 @default.
- W3204198211 hasRelatedWork W1851714595 @default.
- W3204198211 hasRelatedWork W1990538571 @default.
- W3204198211 hasRelatedWork W2019342219 @default.
- W3204198211 hasRelatedWork W2027028757 @default.
- W3204198211 hasRelatedWork W2043552103 @default.
- W3204198211 hasRelatedWork W2067718333 @default.
- W3204198211 hasRelatedWork W2121816508 @default.
- W3204198211 hasRelatedWork W2124403132 @default.
- W3204198211 hasRelatedWork W2144794447 @default.
- W3204198211 hasRelatedWork W2168839459 @default.
- W3204198211 hasRelatedWork W2171611360 @default.
- W3204198211 hasRelatedWork W2750693409 @default.
- W3204198211 hasRelatedWork W2995650662 @default.
- W3204198211 hasRelatedWork W3126940024 @default.
- W3204198211 hasRelatedWork W316198274 @default.
- W3204198211 hasRelatedWork W47969833 @default.
- W3204198211 hasRelatedWork W103839881 @default.
- W3204198211 isParatext "false" @default.
- W3204198211 isRetracted "false" @default.
- W3204198211 magId "3204198211" @default.
- W3204198211 workType "article" @default.