Synthesizing approximate implementations for unrealizable specifications

Dimitrova, R., Finkbeiner, B. and Torfah, H. (2019) Synthesizing approximate implementations for unrealizable specifications. In: Dillig, I. and Tasiran, S., (eds.) Computer Aided Verification - 31st International Conference, CAV 2019. Computer Aided Verification, 15-18 Jul 2019, New York City, NY, USA. Lecture Notes in Computer Science, 1 (11561). Springer , pp. 241-258. ISBN 9783030255398



  • Dimitrova, R.
  • Finkbeiner, B.
  • Torfah, H.
Copyright, Publisher and Additional Information: © 2019 The Author(s). This is an Open Access paper distributed under the terms of the Creative Commons Attribution Licence (, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
  • Published (online): 12 July 2019
  • Published: 12 July 2019
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 13:00
Last Modified: 05 Feb 2020 02:30
Status: Published
Publisher: Springer
Series Name: Lecture Notes in Computer Science
Refereed: Yes
Identification Number:


Share / Export