4 citations · 18 across the 14 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LO2018
One-Pass and Tree-Shaped Tableau Systems for TPTL and TPTLb+Past
Luca Geatti, Nicola Gigante, Angelo Montanari +1
In this paper, we propose a novel one-pass and tree-shaped tableau method for Timed Propositional Temporal Logic and for a bounded variant of its extension with past operators. Tim…
cs.AI2018
A game-theoretic approach to timeline-based planning with uncertainty
Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer +2
In timeline-based planning, domains are described as sets of independent, but interacting, components, whose behaviour over time (the set of timelines) is governed by a set of temp…