TY  - RPRT
TI  - Constrained LTL Specification Learning from Examples
AU  - Changjian Zhang
AU  - Parv Kapoor
AU  - Ian Dardik
AU  - Leyi Cui
AU  - Romulo Meira-Goes
AU  - David Garlan
AU  - Eunsuk Kang
PY  - 2024
UR  - https://arxiv.org/abs/2412.02905
ID  - 2412.02905
ER  -