Publicaciones en colaboración con investigadoras/es de Universitat de Girona (1)

2025

  1. Towards an efficient implementation of a tableau method for reactive safety specifications

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