Publications en collaboration avec des chercheurs 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