TY  - THES
AU  - Hernando Rivero,  Sergio Javier
A3  - Rodríguez Laguna, Ismael
A3  - López Barquilla, Natalia
PY  - 2024
UR  - https://hdl.handle.net/20.500.14352/107825
AB  - En este Trabajo de Fin de Grado (TFG) se lleva a cabo un estudio de la complejidad computacional de la satisfacibilidad de lógicas temporales. En particular, se analiza la complejidad de contar el número de interpretaciones que hacen cierta una...
AB  - In this Final Degree Project, we conduct an in-depth analysis of computational complexity of satisfiability of temporal logics. In particular, we analyse the computational complexity of counting the number of interpretations which satisfy an instance...
LA  - spa
KW  - Complejidad computacional
KW  - Lógica temporal
KW  - LT L
KW  - LT L⋄
KW  - Problemas de conteo
KW  - Model Counting
KW  - #P-completitud
KW  - #PSPACE-completitud
KW  - Computational complexity
KW  - Temporal logic
KW  - Counting problems
KW  - Model Counting
KW  - #P-completeness
KW  - #PSPACE-completeness
TI  - Análisis de complejidad de lógicas temporales
T2  - Complexity analysis of temporal logics
M3  - bachelor thesis
ER  -