Counterexample-Guided Model Synthesis.

Mathias Preiner, Aina Niemetz, Armin Biere

Browse the full TACAS paper archive.