Ruixuan Miao, Xu Lu, Jin Cui. An Approach of Transforming Non-Markovian Reward to Markovian Reward. In Shaoying Liu, Zhenhua Duan, ai Liu, editors, Structured Object-Oriented Formal Language and Method - 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers. Volume 13854 of Lecture Notes in Computer Science, pages 12-29, Springer, 2022. [doi]
Abstract is missing.