4 citations · 4 across the 4 of their papers we have counts for
1 paper · 1 filter
Manolis Pitsikalis, Alexei Lisitsa, Patrick Totzke
Writing temporal logic formulae for properties that combine instantaneous events with overlapping temporal phenomena of some duration is difficult in classical temporal logics. To…