Login / Signup
Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf Restraining Specifications.
Giuseppe De Giacomo
Luca Iocchi
Marco Favorito
Fabio Patrizi
Published in:
ICAPS (2019)
Keyphrases
</>
reinforcement learning
artificial intelligence
learning algorithm
least squares
function approximation
specification language
real time
real world
web services
multi agent
dynamic programming
optimal control
formal specification
control flow
multi agent reinforcement learning