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

Abstract

Metadata

Authors/Creators:
  • 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 (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
Dates:
  • 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: https://doi.org/10.1007/978-3-030-25540-4_13

Download

Share / Export

Statistics