A learning-based synthesis approach of reward asynchronous probabilistic games against the linear temporal logic winning condition
Article in PeerJ Computer Science (September 2022)
The most recent citing publications are shown below. View all 3 publications that cite this research output on Dimensions.
Article in PeerJ Computer Science (September 2022)
Book chapter (January 2011)
Article in Proceedings of the IEEE (January 2003)