Florian Renkin

@misc{renkin.21,
author = {Florian Renkin and Philipp Schlehuber-Caissier and Alexandre Duret-Lutz and Adrien Pommellet},
title = {Improvements to \texttt{ltlsynt}},
howpublished = {Presented at the SYNT'21 workshop, without proceedings.},
year = 2021,
month = jul,
abstract = {We summarize \texttt{ltlsynt}'s evolution since 2018.}
}