Maximum realizability for linear temporal logic specifications

Dimitrova, R., Ghasemi, M. and Topcu, U. (2018) Maximum realizability for linear temporal logic specifications. In: Lahiri, S.K. and Wang, C., (eds.) Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018. Automated Technology for Verification and Analysis, 07-10 Oct 2018, Los Angeles, CA, USA. Lecture Notes in Computer Science (11138). Springer , pp. 458-475. ISBN 9783030010898

Abstract

Metadata

Authors/Creators:
  • Dimitrova, R.
  • Ghasemi, M.
  • Topcu, U.
Copyright, Publisher and Additional Information: © 2018 Springer Nature. This is an author-produced version of a paper subsequently published in ATVA 2018. Uploaded in accordance with the publisher's self-archiving policy.
Dates:
  • Published (online): 30 September 2018
  • Published: 30 September 2018
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: 04 Feb 2020 11:42
Last Modified: 05 Feb 2020 05:43
Status: Published
Publisher: Springer
Series Name: Lecture Notes in Computer Science
Refereed: Yes
Identification Number: https://doi.org/10.1007/978-3-030-01090-4_27

Share / Export

Statistics