Sofie Haesaert, Nathalie Cauchi, Alessandro Abate. Certified policy synthesis for general Markov decision processes: An application in building automation systems. Perform. Eval., 117:75-103, 2017. [doi]
@article{HaesaertCA17,
title = {Certified policy synthesis for general Markov decision processes: An application in building automation systems},
author = {Sofie Haesaert and Nathalie Cauchi and Alessandro Abate},
year = {2017},
doi = {10.1016/j.peva.2017.09.005},
url = {https://doi.org/10.1016/j.peva.2017.09.005},
researchr = {https://researchr.org/publication/HaesaertCA17},
cites = {0},
citedby = {0},
journal = {Perform. Eval.},
volume = {117},
pages = {75-103},
}