Frequency Linear-time Temporal Logic.

Benedikt Bollig, Normann Decker, Martin Leucker

Browse the full TASE paper archive.