On Frequency LTL in Probabilistic Systems.

Vojtech Forejt, Jan Krcl

Browse the full CONCUR paper archive.