Title
Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies
Abstract
We present a new approach for synthesising Paretooptimal Markov decision process (MDP) policies that satisfy complex combinations of quality-of-service (QoS) software requirements. These policies correspond to optimal designs or configurations of software systems, and are obtained by translating MDP models of these systems into parametric Markov chains, and using multi-objective genetic algorithms...
Year
DOI
Venue
2021
10.1109/ASE51524.2021.9678727
2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)
Keywords
DocType
ISBN
MDP policies,evolutionary algorithms,policy synthesis
Conference
978-1-6654-0337-5
Citations 
PageRank 
References 
0
0.34
0
Authors
6
Name
Order
Citations
PageRank
Simos Gerasimou111014.31
Javier Cámara250344.77
Radu Calinescu390563.01
Naif Alasmari400.34
Faisal Alhwikem520.70
Xinwei Fang621.71