TY  - RPRT
TI  - LTL$_f$ Learning Meets Boolean Set Cover
AU  - Gabriel Bathie
AU  - Nathanaël Fijalkow
AU  - Théo Matricon
AU  - Baptiste Mouillon
AU  - Pierre Vandenhove
PY  - 2026
UR  - https://arxiv.org/abs/2509.24616
ID  - 2509.24616
ER  -