13 citations · 65 across the 15 of their papers we have counts for
1 paper · 1 filter
Angelo Montanari, Pietro Sala
We introduce the synthesis problem for Halpern and Shoham's modal logic of intervals extended with an equivalence relation over time points, abbreviated HSeq. In analogy to the cas…