Dennis Peuter, Viorica Sofronie-Stokkermans. On Inductive Verification and Synthesis. In Christoph Benzmüller, Xavier Parent, Alexander Steen, editors, Selected Student Contributions and Workshop Papers of LuxLogAI 2018. Volume 10 of Kalpa Publications in Computing, pages 1-8, EasyChair, 2018. [doi]
Abstract is missing.