Model Learning as a Satisfiability Modulo Theories Problem.

Rick Smetsers, Paul Fiterau-Brostean, Frits W. Vaandrager

Browse the full LATA paper archive.