Bolt (Blazingly Fast LTLf Learning), with an LTLf learning benchmark suite
Abstract
Artifact for the paper LTLf Learning Meets Boolean Set Cover, by Gabriel Bathie, Nathanaël Fijalkow, Théo Matricon, Baptiste Mouillon, and Pierre Vandenhove, accepted to the proceedings of TACAS 2026. It contains our tool Bolt, a consolidated benchmark suite for LTLf learning, and additional instructions to reproduce results from the paper.
Fields of Study & Subjects
Formal Methods in Verification
semigroups and automata theory
Logic
Reasoning
and Knowledge
Publication details
- Journal / source
- Zenodo (CERN European Organization for Nuclear Research)
- Publication date
- 26 January 2026
- Language
- EN