Counterexample-guided synthesis of observation predicates

Dimitrova, R. and Finkbeiner, B. (2012) Counterexample-guided synthesis of observation predicates. In: Jurdziński, M. and Ničković, D., (eds.) Formal Modeling and Analysis of Timed Systems. Formal Modeling and Analysis of Timed Systems - 10th International Conference, FORMATS 2012, 18-20 Sep 2012, London, UK. Lecture Notes in Computer Science (7595). Springer , pp. 107-122. ISBN 9783642333644



  • Dimitrova, R.
  • Finkbeiner, B.
Copyright, Publisher and Additional Information: © 2012 Springer-Verlag. This is an author-produced version of a paper subsequently published in FORMATS 2012. Uploaded in accordance with the publisher's self-archiving policy.
Keywords: Action Point; Winning Strategy; Symbolic Constant; Controller Synthesis; Predicate Abstraction
  • Published: 18 September 2012
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: 05 Feb 2020 16:03
Last Modified: 05 Feb 2020 22:06
Status: Published
Publisher: Springer
Series Name: Lecture Notes in Computer Science
Refereed: Yes
Identification Number: