Sofie Haesaert, Sadegh Soudjani, Alessandro Abate. Temporal logic control of general Markov decision processes by approximate policy refinement. In Alessandro Abate, Antoine Girard, Maurice Heemels, editors, 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018. Volume 51 of IFAC-PapersOnLine, pages 73-78, Elsevier, 2018. [doi]
Abstract is missing.