Login / Signup
A learning-based synthesis approach of reward asynchronous probabilistic games against the linear temporal logic winning condition.
Wei Zhao
Zhiming Liu
Published in:
PeerJ Comput. Sci. (2022)
Keyphrases
</>
reinforcement learning
learning algorithm
learning process
state space
stochastic games
linear temporal logic
web services
bayesian networks
sufficient conditions
learning agent