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