Four-valued monitorability of ω-regular languages

Chen, Z., Chen, Y., Hierons, R.M. et al. (1 more author) (2020) Four-valued monitorability of ω-regular languages. In: Lin, S.-W., Hou, Z. and Mahoney, B., (eds.) Formal Methods and Software Engineering : 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Proceedings. 22nd International Conference on Formal Engineering Methods (ICFEM 2020), 01-03 Mar 2021, Singapore. Lecture Notes in Computer Science (12531). Springer International Publishing , pp. 198-214. ISBN 9783030634056



Copyright, Publisher and Additional Information: © 2020 Springer Nature Switzerland AG. This is an author-produced version of a paper subsequently published in ICFEM 2020 Proceedings. Uploaded in accordance with the publisher's self-archiving policy.
Keywords: Monitorability; ω-regular languages; Linear temporal logic; Runtime verification
  • Published (online): 19 December 2020
  • Published: 19 December 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: 07 Jan 2021 11:05
Last Modified: 07 Jan 2021 13:30
Status: Published
Publisher: Springer International Publishing
Series Name: Lecture Notes in Computer Science
Refereed: Yes
Identification Number:
Related URLs: