A Linear Temporal Logic of Frequencies on Series of Events

Melissa Antonelli, Leonardo Ceragioli, Alessandro Giuseppe Buda +1

This paper introduces LTLF, a temporal logic designed to express the frequency properties of event series in a natural but rigorous manner. By introducing novel, measure-sensitive…