Metric Temporal Equilibrium Logic over Timed Traces
- Becker, A.
- Cabalar, P.
- Diéguez, M.
- Schaub, T.
- Schuhmann, A.
ISSN: 1475-3081, 1471-0684
Año de publicación: 2024
Volumen: 24
Número: 3
Páginas: 425-452
Tipo: Artículo
ISSN: 1475-3081, 1471-0684
Año de publicación: 2024
Volumen: 24
Número: 3
Páginas: 425-452
Tipo: Artículo