Bozzelli, Laura; Montanari, Angelo; Peron, Adriano; Sala, Pietro Pspace-completeness of the temporal logic of sub-intervals and suffixes. (English) Zbl 07742414 Inf. Comput. 294, Article ID 105083, 20 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{L. Bozzelli} et al., Inf. Comput. 294, Article ID 105083, 20 p. (2023; Zbl 07742414) Full Text: DOI
Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro Which fragments of the interval temporal logic HS are tractable in model checking? (English) Zbl 1429.68139 Theor. Comput. Sci. 764, 125-144 (2019). Reviewer: Martin Lange (Kassel) MSC: 68Q60 03B44 68Q25 PDFBibTeX XMLCite \textit{L. Bozzelli} et al., Theor. Comput. Sci. 764, 125--144 (2019; Zbl 1429.68139) Full Text: DOI Link
Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro Interval vs. point temporal logic model checking. An expressiveness comparison. (English) Zbl 1407.68283 ACM Trans. Comput. Log. 20, No. 1, Article No. 4, 31 p. (2019). MSC: 68Q60 03B44 PDFBibTeX XMLCite \textit{L. Bozzelli} et al., ACM Trans. Comput. Log. 20, No. 1, Article No. 4, 31 p. (2019; Zbl 1407.68283) Full Text: DOI
Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy. (English) Zbl 1400.68121 Inf. Comput. 262, Part 2, 241-264 (2018). MSC: 68Q60 03B44 68Q25 PDFBibTeX XMLCite \textit{L. Bozzelli} et al., Inf. Comput. 262, Part 2, 241--264 (2018; Zbl 1400.68121) Full Text: DOI Link
Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro Model checking the logic of Allen’s relations Meets and Started-by is \(\mathbf{P}^{\mathbf{NP}}\)-complete. (English) Zbl 1478.68148 Cantone, Domenico (ed.) et al., Proceedings of the seventh international symposium on games, automata, logics and formal verification, GandALF 2016, Catania, Italy, September 14–16, 2016. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 226, 76-90 (2016). MSC: 68Q60 03B44 68Q17 PDFBibTeX XMLCite \textit{L. Bozzelli} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 226, 76--90 (2016; Zbl 1478.68148) Full Text: arXiv Link
Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro Interval temporal logic model checking: the border between good and bad HS fragments. (English) Zbl 1475.68177 Olivetti, Nicola (ed.) et al., Automated reasoning. 8th international joint conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9706, 389-405 (2016). MSC: 68Q60 03B44 68Q17 PDFBibTeX XMLCite \textit{L. Bozzelli} et al., Lect. Notes Comput. Sci. 9706, 389--405 (2016; Zbl 1475.68177) Full Text: DOI
Goranko, V.; Montanari, A.; Sala, P.; Sciavicco, G. A general tableau method for propositional interval temporal logics: theory and implementation. (English) Zbl 1104.03010 J. Appl. Log. 4, No. 3, 305-330 (2006). Reviewer: Manuel Ojeda Aciego (Málaga) MSC: 03B44 03B70 03B35 PDFBibTeX XMLCite \textit{V. Goranko} et al., J. Appl. Log. 4, No. 3, 305--330 (2006; Zbl 1104.03010) Full Text: DOI