1 .\" -*- coding: utf-8 -*- 2 [NAME] 3 ltlsynt \- reactive synthesis from LTL specifications 4 5 [BIBLIOGRAPHY] 6 If you would like to give a reference to this tool in an article, 7 we suggest you cite the following paper: 8 .TP 9 \(bu 10 Thibaud Michaud, Maximilien Colange: Reactive Synthesis from LTL 11 Specification with Spot. Proceedings of SYNT@CAV'18. 12