Corpus ID: 30625028

Logically-Constrained Reinforcement Learning

@article{Hasanbeig2018LogicallyConstrainedRL,
  title={Logically-Constrained Reinforcement Learning},
  author={Mohammadhosein Hasanbeig and Alessandro Abate and D. Kroening},
  journal={arXiv: Learning},
  year={2018}
}

Mohammadhosein Hasanbeig, Alessandro Abate, D. Kroening

Published 2018

Mathematics, Computer Science

arXiv: Learning

We present the first model-free Reinforcement Learning (RL) algorithm to synthesise policies for an unknown Markov Decision Process (MDP), such that a linear time property is satisfied. The given temporal property is converted into a Limit Deterministic Buchi Automaton (LDBA) and a robust reward function is defined over the state-action pairs of the MDP according to the resulting LDBA. With this reward function, the policy synthesis procedure is "constrained" by the given specification. These… CONTINUE READING

View PDF on arXiv

Save to Library

Create Alert

Cite

Launch Research Feed