TY  - RPRT
TI  - SAT-based Learning of Computation Tree Logic
AU  - Adrien Pommellet
AU  - Daniel Stan
AU  - Simon Scatton
PY  - 2024
UR  - https://arxiv.org/abs/2402.06366
ID  - 2402.06366
ER  -