Handling of Past and Future with Phenesthe+

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…