Skip to content

Commit f7d2285

Browse files
pvdhovepvdhove
authored
Update README
1 parent c17414d commit f7d2285

1 file changed

Lines changed: 3 additions & 3 deletions

File tree

‎README.md‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
1-
# Bolt: Blazingly Fast LTL$_f$ (and LTL) Learning
1+
# Bolt: Blazingly Fast $\mathsf{LTL}_f$ (and $\mathsf{LTL}$) Learning
22

3-
This repository contains the code accompanying the paper [*LTL$_f$ Learning Meets Boolean Set Cover*](https://arxiv.org/abs/2509.24616), by Gabriel Bathie, Nathanaël Fijalkow, Théo Matricon, Baptiste Mouillon, and Pierre Vandenhove. It provides instructions for running the code and reproducing our experimental results.
3+
This repository contains the code accompanying the paper [*LTLf Learning Meets Boolean Set Cover*](https://arxiv.org/abs/2509.24616), by Gabriel Bathie, Nathanaël Fijalkow, Théo Matricon, Baptiste Mouillon, and Pierre Vandenhove. It provides instructions for running the code and reproducing our experimental results.
44

5-
A benchmark suite for LTL$_f$ is provided in a [separate repository](https://github.com/SynthesisLab/LTLf_Learning_Benchmarks).
5+
A benchmark suite for $\mathsf{LTL}_f$ is provided in a [separate repository](https://github.com/SynthesisLab/LTLf_Learning_Benchmarks).
66

77
## Requirements
88
To run the code, you need to have [Rust](https://www.rust-lang.org/tools/install) installed. The code can then be compiled using:

0 commit comments

Comments
 (0)