Mishel Carelli, Orna Grumberg. * Verification and Synthesis Using Existential Horn Clauses. In Nathalie Bertrand 0001, Clemens Dubslaff, Sascha Klüppelholz, editors, Principles of Formal Quantitative Analysis - Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday. Volume 15760 of Lecture Notes in Computer Science, pages 207-233, Springer, 2025. [doi]
Abstract is missing.