Debido al alto tráfico generado por robots, estamos aplicando limitaciones en el número de peticiones permitidas por cliente y bloqueos por IP automáticos. Si haces un uso legítimo y estás teniendo problemas, avísanos para reevaluar nuestras políticas de bloqueo. Disculpa las molestias.

Resumen:
Tableaux for Realizability of Safety Specifications

Archivos

11705-PROLE-2024-1.pdf (129.77 KB)

Fecha

Autores

Hermo, Montserrat

Sánchez, César

Editor

Sistedes

Publicado en

Actas de las XXIII Jornadas de Programación y Lenguajes (PROLE 2024)

Licencia Creative Commons

CC BY-NC-ND 4.0

CC BY-NC-ND 4.0

Resumen

This work was presented at Formal Methods 2023 conference in Lübeck, Germany.

Palabras clave

Linear Temporal Logic, Tableaux, Reactive Systems, Realizability, Synthesis

Enlace permanente

https://hdl.handle.net/11705/PROLE/2024/1

Colecciones

PROLE 2024 (A Coruña) • Lógica Temporal Lineal

Citación

Texto plano BibTeX

Hermo, M., Lucio, P., Sánchez, C.: Tableaux for Realizability of Safety Specifications. In: Arias, J. (ed.) Actas de las XXIII Jornadas de Programación y Lenguajes (PROLE 2024). Sistedes (2024). https://hdl.handle.net/11705/PROLE/2024/1

Página completa del ítem

Notificar un error en este resumen