Rick Smetsers, Paul Fiterau-Brostean, Frits W. Vaandrager. Model Learning as a Satisfiability Modulo Theories Problem. In Shmuel Tomi Klein, Carlos MartÃn-Vide, Dana Shapira, editors, Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings. Volume 10792 of Lecture Notes in Computer Science, pages 182-194, Springer, 2018. [doi]
No references recorded for this publication.
No citations of this publication recorded.