@article{formallanguageconstrainedmarkovdecision,
  title = {Formal Language Constrained Markov Decision Processes},
  author = {Eleanor Quint and Dong Xu and Samuel W Flint and Stephen D Scott and Matthew Dwyer},
  year = {2021},
  url = {https://openreview.net/forum?id=NTP9OdaT6nm},
}