Reactive synthesis with maximum realizability of linear temporal logic specifications
Dimitrova, Rayna, Ghasemi, Mahsa, Topcu, UfukLanguage:
english
Journal:
Acta Informatica
DOI:
10.1007/s00236-019-00348-4
Date:
November, 2019
File:
PDF, 761 KB
english, 2019