Cargando…

“Most of” leads to undecidability: Failure of adding frequencies to LTL

Linear Temporal Logic (LTL) interpreted on finite traces is a robust specification framework popular in formal verification. However, despite the high interest in the logic in recent years, the topic of their quantitative extensions is not yet fully explored. The main goal of this work is to study t...

Descripción completa

Detalles Bibliográficos
Autores principales: Bednarczyk, Bartosz, Michaliszyn, Jakub
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2021
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7984134/
http://dx.doi.org/10.1007/978-3-030-71995-1_5

Ejemplares similares