View in EDS HTML Full Text PDF Full Text

Reactive synthesis with maximum realizability of linear temporal logic specifications.

Saved in:
Bibliographic Details
Title: Reactive synthesis with maximum realizability of linear temporal logic specifications.
Authors: Dimitrova, Rayna1, Ghasemi, Mahsa2, mahsa.ghasemi@utexas.edu, Topcu, Ufuk2
Source: Acta Informatica; Apr2020, Vol. 57 Issue 1/2, p107-135, 29p
Database: Applied Science & Technology Source
Full text is not displayed to guests.
Description
ISSN:00015903
DOI:10.1007/s00236-019-00348-4