Gerasimou, S., Camara, J., Calinescu, R., Alasmari, N., Alhwikem, F., Fang, X., 2021. Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies, in: . IEEE.. https://doi.org/10.1109/ase51524.2021.9678727