Publicaciones en colaboración con investigadoras/es de Lund University (1)

2024

  1. Towards the exact complexity of realizability for Safety LTL

    Journal of Logical and Algebraic Methods in Programming, Vol. 141