Improvements to ltlsynt
Résumé
ltlsynt is a tool for LTL reactive synthesis. We summarize its evolution since 2018.
Domaines
Théorie et langage formel [cs.FL]| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Communication Dans Un Congrès
Année : 2021
Florian Renkin : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03523385
Soumis le : vendredi 14 janvier 2022-09:55:38
Dernière modification le : jeudi 4 avril 2024-11:07:07
Citer
Florian Renkin, Philipp Schlehuber, Alexandre Duret-Lutz, Adrien Pommellet. Improvements to ltlsynt. 10th Workshop on Synthesis, Jul 2021, Los Angeles, United States. ⟨hal-03523385⟩
32
Consultations
103
Téléchargements