A learning-based synthesis approach of reward asynchronous probabilistic games against the linear temporal logic winning condition
Sign Up to like & getrecommendations! Published in 2022 at "PeerJ Computer Science"
DOI: 10.7717/peerj-cs.1094
Abstract: The traditional synthesis problem is usually solved by constructing a system that fulfills given specifications. The system is constantly interacting with the environment and is opposed to the environment. The problem can be further regarded… read more here.
Keywords: system; synthesis; asynchronous probabilistic; learning based ... See more keywords