Approximate automata for omega-regular languages

Dimitrova, R., Finkbeiner, B. and Torfah, H. (2019) Approximate automata for omega-regular languages. In: Chen, Y.-F., Cheng, C.-H. and Esparza, J., (eds.) Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019. Automated Technology for Verification and Analysis, 28-31 Oct 2019, Taipei, Taiwan. Lecture Notes in Computer Science (11781). Springer , pp. 334-349. ISBN 9783030317836



  • Dimitrova, R.
  • Finkbeiner, B.
  • Torfah, H.
Copyright, Publisher and Additional Information: © 2019 Springer Nature. This is an author-produced version of a paper subsequently published in ATVA 2019. Uploaded in accordance with the publisher's self-archiving policy.
  • Published (online): 21 October 2019
  • Published: 21 October 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 11:34
Last Modified: 21 Oct 2020 00:39
Status: Published
Publisher: Springer
Series Name: Lecture Notes in Computer Science
Refereed: Yes
Identification Number:

Share / Export