1. Lamaconv-logics and automata converter library. https://www.isp.uni-luebeck.de/lamaconv. Institute for Software Engineering and Programming Languages, University of Lübeck. Accessed 14 Oct 2022
2. Slugs. https://github.com/VerifiableRobotics/slugs. Verifiable Robotics Research Group, Cornell University. Accessed 14 Oct 2022
3. Lecture Notes in Computer Science;T Babiak,2015
4. Bloem, R., Jobstmann, B., Piterman, N., Pnueli, A., Sa’ar, Y.: Synthesis of reactive(1) designs. J. Comput. Syst. Sci. 78(3), 911–938 (2012)
5. Duret-Lutz, A.: LTL translation improvements in Spot 1.0. Int. J. Crit. Comput. Based Syst. 5(1/2), 31–54 (2014)