Alex Abuin, Alexander Bolotov, Montserrat Hermo, and Paqui Lucio. Tableaux and sequent calculi for CTL and ECTL: Satisfiability test with certifying proofs and models. Journal of Logical and Algebraic Methods in Programming, volume 130, 2023.

Montserrat Hermo, Paqui Lucio, and César Sánchez. Tableaux for Realizability of Safety Specifications. 25th International Symposium on Formal Methods (FM 2023). Lecture Notes in Computer Science, volume 14000, pages 495-513. Springer, 2023.

Iker García-Ferrero, Begoña Altuna, Javier Álvez, Itziar Gonzalez-Dios, and German Rigau. This is not a Dataset: A Large Negation Benchmark to Challenge Large Language Models. International Conference on Empirical Methods in Natural Language Processing. Proceedings of EMNLP 2023.

Noel Arteche and Montserrat Hermo. An Open Problem on the Complexity of Realizability for Safety LTL and Related Subfragments. Jornadas sobre Programación y Lenguajes, Proceedings of PROLE, 2023.

Ander Alonso, Montserrat Hermo, and Josu Oca. Towards an Efficient Implementation of Tableaux for Reactive Safety Specifications. Jornadas sobre Programación y Lenguajes, Proceedings of PROLE, 2023.