A learning-based synthesis approach of reward asynchronous probabilistic games against the linear temporal logic winning condition

Wei Zhao, Zhiming Liu 0001. A learning-based synthesis approach of reward asynchronous probabilistic games against the linear temporal logic winning condition. PeerJ Computer Science, 8, 2022. [doi]

Abstract

Abstract is missing.