Rayna Dimitrova, Mahsa Ghasemi, Ufuk Topcu: Reactive synthesis with maximum realizability of linear temporal logic specifications. Acta Informatica 57(1-2): 107-135 (2020)