Alphan Ulusoy, Tichakorn Wongpiromsarn, Calin Belta. Incremental control synthesis in probabilistic environments with Temporal Logic constraints. In Proceedings of the 51th IEEE Conference on Decision and Control, CDC 2012, December 10-13, 2012, Maui, HI, USA. pages 7658-7663, IEEE, 2012. [doi]
Abstract is missing.