Counterexample-Guided Synthesis of Observation Predicates

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems ◽

10.1007/978-3-642-33365-1_9 ◽

2012 ◽

pp. 107-122 ◽

Cited By ~ 6

Author(s):

Rayna Dimitrova ◽

Bernd Finkbeiner

Download Full-text