33 citations · 116 across the 22 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019★ 4 cited
Timed Context-Free Temporal Logics
Laura Bozzelli, Aniello Murano, Adriano Peron
The paper is focused on temporal logics for the description of the behaviour of real-time pushdown reactive systems. The paper is motivated to bridge tractable logics specialized f…
cs.FL2019
Undecidability of future timeline-based planning over dense temporal domains
Laura Bozzelli, Alberto Molinari, Angelo Montanari +1
Planning is one of the most studied problems in computer science. In this paper, we consider the timeline-based approach, where the domain is modeled by a set of independent, but i…