Publications

If you base your work on BLACK, please cite (at least some of) the following works.

[GGG22]

Luca Geatti, Alessandro Gianola, and Nicola Gigante. Linear Temporal Logic Modulo Theories over Finite Traces. In Proceedings of IJCAI 2022. 2022. Accepted for publication.

[GGM19]

Luca Geatti, Nicola Gigante, and Angelo Montanari. A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL. In Proceedings of TABLEAUX 2019, volume 11714 of LNCS, 3–20. 2019. doi:10.1007/978-3-030-29026-9_1.

[GGM21]

Luca Geatti, Nicola Gigante, and Angelo Montanari. BLACK: A Fast, Flexible and Reliable LTL Satisfiability Checker. In Dario Della Monica, Gian Luca Pozzato, and Enrico Scala, editors, Proceedings of GandALF 2021, volume 2987 of CEUR Workshop Proceedings, 7–12. 2021. URL: http://ceur-ws.org/Vol-2987/paper2.pdf.

[GGMV21]

Luca Geatti, Nicola Gigante, Angelo Montanari, and Gabriele Venturato. Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker. In Proceedings of TIME 2021, volume 206 of LIPIcs, 8:1–8:17. 2021. doi:10.4230/LIPIcs.TIME.2021.8.