Publications in collaboration with researchers from Lund University (1)

2024

  1. Towards the exact complexity of realizability for Safety LTL

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