Learning Markov Decision Processes Based on Genetic Programming

Created by W.Langdon from gp-bibliography.bib Revision:1.7615

@InProceedings{Wu:2022:ACIE,

• author = "Rong Wu and Jin Xu",
• booktitle = "2022 2nd Asia Conference on Information Engineering (ACIE)",
• title = "Learning Markov Decision Processes Based on Genetic Programming",
• year = "2022",
• pages = "72--76",
• 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.",
• keywords = "genetic algorithms, genetic programming",
• DOI = "doi:10.1109/ACIE55485.2022.00023",
• month = jan,
• notes = "Also known as \cite{9831511}",

}

Genetic Programming entries for Rong Wu Jin Xu

Citations