In this paper, we deal with the ultimately-periodic finite interval temporal logic model checking problem. The problem has been shown to be in PTIME for full Halpern and Shoham's interval temporal logic (HS for short) over finite models, as well as for the HS fragment featuring a modality for Allen relation meets and metric constraints over non-sparse ultimately-periodic (finite) models, that is, over ultimately-periodic models whose representation is polynomial in their size. Here, we generalize the latter result to the case of sparse ultimately-periodic models.

A note on ultimately-periodic finite interval temporal logic model checking

Monica D. D.;Montanari A.;
2020-01-01

Abstract

In this paper, we deal with the ultimately-periodic finite interval temporal logic model checking problem. The problem has been shown to be in PTIME for full Halpern and Shoham's interval temporal logic (HS for short) over finite models, as well as for the HS fragment featuring a modality for Allen relation meets and metric constraints over non-sparse ultimately-periodic (finite) models, that is, over ultimately-periodic models whose representation is polynomial in their size. Here, we generalize the latter result to the case of sparse ultimately-periodic models.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11390/1197432
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact