Zobrazeno 1 - 10
of 140
pro vyhledávání: '"Sala, Pietro"'
In this paper, we study the finite satisfiability problem for the logic BE under the homogeneity assumption. BE is the cornerstone of Halpern and Shoham's interval temporal logic, and features modal operators corresponding to the prefix (a.k.a. "Begi
Externí odkaz:
http://arxiv.org/abs/2304.11483
Publikováno v:
In Information and Computation December 2024 301 Part A
Publikováno v:
EPTCS 346, 2021, pp. 179-194
The choice of the right trade-off between expressiveness and complexity is the main issue in interval temporal logic. In their seminal paper, Halpern and Shoham showed that the satisfiability problem for HS (the temporal logic of Allen's relations) i
Externí odkaz:
http://arxiv.org/abs/2109.08320
Autor:
Palmesano, Marco, Lisa, Andrea, Storti, Gabriele, Bottoni, Manuela, Gottardi, Alessandra, Colombo, Giulia, Barbieri, Benedetta, Garusi, Cristina, Sala, Pietro, Lo Iacono, Giorgio, Spaggiari, Lorenzo, De Lorenzi, Francesca, Cervelli, Valerio, Rietjens, Mario
Publikováno v:
In Journal of Plastic, Reconstructive & Aesthetic Surgery June 2024 93:157-162
Publikováno v:
Logical Methods in Computer Science, Volume 18, Issue 1 (February 1, 2022) lmcs:6542
The expressive power of interval temporal logics (ITLs) makes them one of the most natural choices in a number of application domains, ranging from the specification and verification of complex reactive systems to automated planning. However, for a l
Externí odkaz:
http://arxiv.org/abs/2006.04652
Publikováno v:
In Information and Computation October 2023 294
Publikováno v:
In Theoretical Computer Science 22 June 2023 962
Publikováno v:
ACM Trans. Comput. Logic 20 (2018) 4:1-4:31
In the last years, model checking with interval temporal logics is emerging as a viable alternative to model checking with standard point-based temporal logics, such as LTL, CTL, CTL*, and the like. The behavior of the system is modeled by means of (
Externí odkaz:
http://arxiv.org/abs/1711.08191
Publikováno v:
EPTCS 256, 2017, pp. 223-237
In the last years, various extensions of {\omega}-regular languages have been proposed in the literature, including {\omega}B-regular ({\omega}-regular languages extended with boundedness), {\omega}S-regular ({\omega}-regular languages extended with
Externí odkaz:
http://arxiv.org/abs/1709.02104
Autor:
Della Sala, Pietro, Cilas, Christian, Gimeno, Teresa E., Wohl, Steven, Opoku, Stephen Yaw, Găinuşă-Bogdan, Alina, Ribeyre, Fabienne
Publikováno v:
In Agricultural and Forest Meteorology 15 December 2021 311