M. Fareed Arif Daniel Larraz Mitziu Echeverria Andrew Reynolds 0001 Omar Chowdhury Cesare Tinelli SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Finite Traces. 93-103 2020 FMCAD https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_16 conf/fmcad/2020 db/conf/fmcad/fmcad2020.html#ArifLERCT20