Counterexample-Guided Synthesis of Observation Predicates

Dimitrova, Rayna and Finkbeiner, Bernd
(2012) Counterexample-Guided Synthesis of Observation Predicates.
In: Proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'12).

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item