Matches in SemOpenAlex for { <https://semopenalex.org/work/W4287854908> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W4287854908 abstract "Model checking is used to verify the security of communication protocols in which the behavior is stochastic influenced by the environment. Automata learning settles the problem of obtaining formal models from observable data of black-box systems. It is available for different variations of finite automata to in model checking. Genetic Programming is a machine learning technique that automatically generates programs and outputs a fittest program. In this paper, we present an approach to learn markov decision progresses based on the framework of genetic programming. The approach outputs the fittest model with a set of system traces by refining iteratively models. We evaluate our method on one probabilistic system from the literature and 30 randomly generated examples." @default.
- W4287854908 created "2022-07-26" @default.
- W4287854908 creator A5007429039 @default.
- W4287854908 creator A5034965764 @default.
- W4287854908 date "2022-01-01" @default.
- W4287854908 modified "2023-09-27" @default.
- W4287854908 title "Learning Markov Decision Processes Based on Genetic Programming" @default.
- W4287854908 cites W1987538593 @default.
- W4287854908 cites W1999787317 @default.
- W4287854908 cites W2097571405 @default.
- W4287854908 cites W2121702947 @default.
- W4287854908 cites W2278484901 @default.
- W4287854908 cites W2615918556 @default.
- W4287854908 cites W3017336524 @default.
- W4287854908 doi "https://doi.org/10.1109/acie55485.2022.00023" @default.
- W4287854908 hasPublicationYear "2022" @default.
- W4287854908 type Work @default.
- W4287854908 citedByCount "0" @default.
- W4287854908 crossrefType "proceedings-article" @default.
- W4287854908 hasAuthorship W4287854908A5007429039 @default.
- W4287854908 hasAuthorship W4287854908A5034965764 @default.
- W4287854908 hasConcept C105795698 @default.
- W4287854908 hasConcept C106189395 @default.
- W4287854908 hasConcept C110251889 @default.
- W4287854908 hasConcept C110332635 @default.
- W4287854908 hasConcept C112505250 @default.
- W4287854908 hasConcept C119857082 @default.
- W4287854908 hasConcept C154945302 @default.
- W4287854908 hasConcept C159886148 @default.
- W4287854908 hasConcept C177264268 @default.
- W4287854908 hasConcept C199360897 @default.
- W4287854908 hasConcept C22614528 @default.
- W4287854908 hasConcept C33923547 @default.
- W4287854908 hasConcept C41008148 @default.
- W4287854908 hasConcept C49937458 @default.
- W4287854908 hasConcept C78458016 @default.
- W4287854908 hasConcept C80444323 @default.
- W4287854908 hasConcept C86803240 @default.
- W4287854908 hasConceptScore W4287854908C105795698 @default.
- W4287854908 hasConceptScore W4287854908C106189395 @default.
- W4287854908 hasConceptScore W4287854908C110251889 @default.
- W4287854908 hasConceptScore W4287854908C110332635 @default.
- W4287854908 hasConceptScore W4287854908C112505250 @default.
- W4287854908 hasConceptScore W4287854908C119857082 @default.
- W4287854908 hasConceptScore W4287854908C154945302 @default.
- W4287854908 hasConceptScore W4287854908C159886148 @default.
- W4287854908 hasConceptScore W4287854908C177264268 @default.
- W4287854908 hasConceptScore W4287854908C199360897 @default.
- W4287854908 hasConceptScore W4287854908C22614528 @default.
- W4287854908 hasConceptScore W4287854908C33923547 @default.
- W4287854908 hasConceptScore W4287854908C41008148 @default.
- W4287854908 hasConceptScore W4287854908C49937458 @default.
- W4287854908 hasConceptScore W4287854908C78458016 @default.
- W4287854908 hasConceptScore W4287854908C80444323 @default.
- W4287854908 hasConceptScore W4287854908C86803240 @default.
- W4287854908 hasLocation W42878549081 @default.
- W4287854908 hasOpenAccess W4287854908 @default.
- W4287854908 hasPrimaryLocation W42878549081 @default.
- W4287854908 hasRelatedWork W1494467844 @default.
- W4287854908 hasRelatedWork W2095602520 @default.
- W4287854908 hasRelatedWork W2139989305 @default.
- W4287854908 hasRelatedWork W2169797019 @default.
- W4287854908 hasRelatedWork W3000188027 @default.
- W4287854908 hasRelatedWork W3024790134 @default.
- W4287854908 hasRelatedWork W4287779238 @default.
- W4287854908 hasRelatedWork W4287905824 @default.
- W4287854908 hasRelatedWork W660320 @default.
- W4287854908 hasRelatedWork W925418074 @default.
- W4287854908 isParatext "false" @default.
- W4287854908 isRetracted "false" @default.
- W4287854908 workType "article" @default.