TY  - RPRT
TI  - Characterizing LTL Formulas by Examples (full version)
AU  - Balder ten Cate
AU  - Dana Fisman
AU  - Roi Ohayon
AU  - Patrik Sestic
PY  - 2026
UR  - https://arxiv.org/abs/2604.22097
ID  - 2604.22097
ER  -