Certified policy synthesis for general Markov decision processes: an application in building automation systems

S. Haesaert, N. Cauchi, A. Abate

Research output: Contribution to journalArticleAcademicpeer-review

8 Citations (Scopus)
1 Downloads (Pure)

Fingerprint Dive into the research topics of 'Certified policy synthesis for general Markov decision processes: an application in building automation systems'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science