Matches in SemOpenAlex for { <https://semopenalex.org/work/W2035006902> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2035006902 abstract "Formal model verification has proven a powerful tool for verifying and validating the properties of a system. Central to this class of techniques is the construction of an accurate formal model for the system being investigated. Unfortunately, manual construction of such models can be a resource demanding process, and this shortcoming has motivated the development of algorithms for automatically learning system models from observed system behaviors. Recently, algorithms have been proposed for learning Markov decision process representations of reactive systems based on alternating sequences of input/output observations. While alleviating the problem of manually constructing a system model, the collection/generation of observed system behaviors can also prove demanding. Consequently we seek to minimize the amount of data required. In this paper we propose an algorithm for learning deterministic Markov decision processes from data by actively guiding the selection of input actions. The algorithm is empirically analyzed by learning system models of slot machines, and it is demonstrated that the proposed active learning procedure can significantly reduce the amount of data required to obtain accurate system models." @default.
- W2035006902 created "2016-06-24" @default.
- W2035006902 creator A5020067516 @default.
- W2035006902 creator A5080416900 @default.
- W2035006902 date "2012-12-01" @default.
- W2035006902 modified "2023-10-14" @default.
- W2035006902 title "Active Learning of Markov Decision Processes for System Verification" @default.
- W2035006902 cites W1840142437 @default.
- W2035006902 cites W2023808162 @default.
- W2035006902 cites W2114404258 @default.
- W2035006902 cites W2146092999 @default.
- W2035006902 cites W2167978186 @default.
- W2035006902 cites W2484571116 @default.
- W2035006902 cites W3105078582 @default.
- W2035006902 cites W4233413206 @default.
- W2035006902 cites W4238064072 @default.
- W2035006902 cites W91907450 @default.
- W2035006902 doi "https://doi.org/10.1109/icmla.2012.158" @default.
- W2035006902 hasPublicationYear "2012" @default.
- W2035006902 type Work @default.
- W2035006902 sameAs 2035006902 @default.
- W2035006902 citedByCount "21" @default.
- W2035006902 countsByYear W20350069022015 @default.
- W2035006902 countsByYear W20350069022016 @default.
- W2035006902 countsByYear W20350069022017 @default.
- W2035006902 countsByYear W20350069022018 @default.
- W2035006902 countsByYear W20350069022019 @default.
- W2035006902 countsByYear W20350069022020 @default.
- W2035006902 countsByYear W20350069022021 @default.
- W2035006902 countsByYear W20350069022022 @default.
- W2035006902 crossrefType "proceedings-article" @default.
- W2035006902 hasAuthorship W2035006902A5020067516 @default.
- W2035006902 hasAuthorship W2035006902A5080416900 @default.
- W2035006902 hasBestOaLocation W20350069022 @default.
- W2035006902 hasConcept C105795698 @default.
- W2035006902 hasConcept C106189395 @default.
- W2035006902 hasConcept C111919701 @default.
- W2035006902 hasConcept C119857082 @default.
- W2035006902 hasConcept C124101348 @default.
- W2035006902 hasConcept C154945302 @default.
- W2035006902 hasConcept C159886148 @default.
- W2035006902 hasConcept C23224414 @default.
- W2035006902 hasConcept C2777212361 @default.
- W2035006902 hasConcept C33923547 @default.
- W2035006902 hasConcept C41008148 @default.
- W2035006902 hasConcept C81917197 @default.
- W2035006902 hasConcept C98045186 @default.
- W2035006902 hasConcept C98763669 @default.
- W2035006902 hasConceptScore W2035006902C105795698 @default.
- W2035006902 hasConceptScore W2035006902C106189395 @default.
- W2035006902 hasConceptScore W2035006902C111919701 @default.
- W2035006902 hasConceptScore W2035006902C119857082 @default.
- W2035006902 hasConceptScore W2035006902C124101348 @default.
- W2035006902 hasConceptScore W2035006902C154945302 @default.
- W2035006902 hasConceptScore W2035006902C159886148 @default.
- W2035006902 hasConceptScore W2035006902C23224414 @default.
- W2035006902 hasConceptScore W2035006902C2777212361 @default.
- W2035006902 hasConceptScore W2035006902C33923547 @default.
- W2035006902 hasConceptScore W2035006902C41008148 @default.
- W2035006902 hasConceptScore W2035006902C81917197 @default.
- W2035006902 hasConceptScore W2035006902C98045186 @default.
- W2035006902 hasConceptScore W2035006902C98763669 @default.
- W2035006902 hasLocation W20350069021 @default.
- W2035006902 hasLocation W20350069022 @default.
- W2035006902 hasLocation W20350069023 @default.
- W2035006902 hasOpenAccess W2035006902 @default.
- W2035006902 hasPrimaryLocation W20350069021 @default.
- W2035006902 hasRelatedWork W1252267459 @default.
- W2035006902 hasRelatedWork W1970298188 @default.
- W2035006902 hasRelatedWork W2026691440 @default.
- W2035006902 hasRelatedWork W2039473210 @default.
- W2035006902 hasRelatedWork W2068961128 @default.
- W2035006902 hasRelatedWork W2104198943 @default.
- W2035006902 hasRelatedWork W2117282672 @default.
- W2035006902 hasRelatedWork W2118728396 @default.
- W2035006902 hasRelatedWork W3148706714 @default.
- W2035006902 hasRelatedWork W2113324011 @default.
- W2035006902 isParatext "false" @default.
- W2035006902 isRetracted "false" @default.
- W2035006902 magId "2035006902" @default.
- W2035006902 workType "article" @default.