1. Syntcomp 2020. http://www.syntcomp.org/syntcomp-2020-results/
2. Lecture Notes in Computer Science;R Armoni,2002
3. Lecture Notes in Computer Science;S Azzopardi,2018
4. Azzopardi, S., Piterman, N., Schneider, G.: Incorporating monitors in reactive synthesis without paying the price. arXiv e-prints arXiv:2107.00929, July 2021
5. Lecture Notes in Computer Science;E Bartocci,2018