@inproceedings{dblp-conf-tacas-hahnpsstw23,
  title = {Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning},
  author = {Ernst Moritz Hahn and Mateo Perez and Sven Schewe and Fabio Somenzi and Ashutosh Trivedi and Dominik Wojtczak},
  year = {2023},
  url = {https://dblp.org/rec/conf/tacas/HahnPSSTW23},
  booktitle = {TACAS (1) 2023}
}