Add publication details to README

Updated paper reference to include publication details.

Author: nathanael-fijalkow

README.md

@@ -1,6 +1,6 @@
 # Bolt: Blazingly Fast $\mathsf{LTL}_f$ (and $\mathsf{LTL}$) Learning
 
-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.
+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, published in the proceedings of [TACAS 2026](https://etaps.org/2026/conferences/tacas/). It provides instructions for running the code and reproducing our experimental results.
 
 A benchmark suite for $\mathsf{LTL}_f$ is provided in a [separate repository](https://github.com/SynthesisLab/LTLf_Learning_Benchmarks).