Towards the exact complexity of realizability for Safety LTL
- Arteche, N.
- Hermo, M.
Revista:
Journal of Logical and Algebraic Methods in Programming
ISSN: 2352-2216, 2352-2208
Año de publicación: 2024
Volumen: 141
Tipo: Artículo