Averaging in LTL.

Patricia Bouyer, Nicolas Markey, Raj Mohan Matteplackel

Browse the full CONCUR paper archive.