Reactive synthesis with maximum realizability of linear temporal logic specifications

Dimitrova, R., Ghasemi, M. and Topcu, U. (2020) Reactive synthesis with maximum realizability of linear temporal logic specifications. Acta Informatica, 57 (1-2). pp. 107-135. ISSN 0001-5903

Abstract

Metadata

Authors/Creators:
  • Dimitrova, R.
  • Ghasemi, M.
  • Topcu, U.
Copyright, Publisher and Additional Information: © 2019 Springer-Verlag GmbH Germany, part of Springer Nature. This is an author-produced version of a paper subsequently published in Acta Informatica. Uploaded in accordance with the publisher's self-archiving policy.
Dates:
  • Accepted: 25 October 2019
  • Published (online): 9 November 2019
  • Published: April 2020
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 10 Feb 2020 14:22
Last Modified: 08 Dec 2021 17:38
Status: Published
Publisher: Springer Science and Business Media LLC
Refereed: Yes
Identification Number: https://doi.org/10.1007/s00236-019-00348-4

Share / Export

Statistics