From 83cabfa6f932ce9aba3cb0c82c03ced7c77c518a Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 19 Feb 2024 11:11:17 +0100 Subject: [PATCH] ltlsynt: fix suggested references * bin/man/ltlsynt.x: Add the Dissecting ltlsynt paper. * doc/org/citing.org: Put Adrien in italics. --- bin/man/ltlsynt.x | 13 ++++++++++--- doc/org/citing.org | 2 +- 2 files changed, 11 insertions(+), 4 deletions(-) diff --git a/bin/man/ltlsynt.x b/bin/man/ltlsynt.x index 3f99d94f9..dea0f1bb7 100644 --- a/bin/man/ltlsynt.x +++ b/bin/man/ltlsynt.x @@ -4,8 +4,15 @@ ltlsynt \- reactive synthesis from LTL specifications [BIBLIOGRAPHY] If you would like to give a reference to this tool in an article, -we suggest you cite the following paper: +we suggest you cite the following papers: .TP \(bu -Thibaud Michaud, Maximilien Colange: Reactive Synthesis from LTL -Specification with Spot. Proceedings of SYNT@CAV'18. +Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, +and Adrien Pommellet. +Dissecting ltlsynt. In Formal Methods in System Design, 2023. + +.TP +\(bu +Thibaud Michaud and Maximilien Colange. +Reactive Synthesis from LTL Specification with Spot. +In proceedings of SYNT@CAV'18. diff --git a/doc/org/citing.org b/doc/org/citing.org index bc17e0d6c..93ec52ca3 100644 --- a/doc/org/citing.org +++ b/doc/org/citing.org @@ -89,7 +89,7 @@ be more specific about a particular aspect of Spot. - *Dissecting ltlsynt*, /Florian Renkin/, /Philipp Schlehuber-Caissier/, /Alexandre Duret-Lutz/, - and Adrien Pommellet. + and /Adrien Pommellet/. In Formal Methods in System Design, 2023. ([[https://www.lrde.epita.fr/~adl/dl/adl_bib.html#renkin.23.scp][bib]] | [[https://www.lrde.epita.fr/~adl/dl/adl/renkin.23.scp.pdf][pdf]]) Discuss the implementation of [[file:ltlsynt.org][=ltlsynt=]].