Murat Cubuktepe, Ufuk Topcu. Verification of Markov Decision Processes with Risk-Sensitive Measures. In 2018 Annual American Control Conference, ACC 2018, Milwaukee, WI, USA, June 27-29, 2018. pages 2371-2377, IEEE, 2018. [doi]
No reviews for this publication, yet.