# SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Finite Traces

> Research article (reposiTUm (TU Wien), 2020) · cited 14× · AI/ML

**Wikidata**: [openalex:W3122843217](https://www.wikidata.org/wiki/openalex:W3122843217)  
**Source**: https://4ort.xyz/entity/syslite-syntax-guided-synthesis-of-pltl-formulas-from-finite-traces