Cautious Reinforcement Learning with Logical Constraints.

Mohammadhosein Hasanbeig Alessandro Abate Daniel Kroening

Published in: AAMAS (2020)

Keyphrases

reinforcement learning
learning process
learning algorithm
dynamic programming
markov decision processes
constraint satisfaction
function approximation
machine learning
multi agent
mobile robot
state space
least squares
constraint programming
constrained optimization