Quantitative Verification and Control via the Mu-Calculus.

Luca de Alfaro

Browse the full CONCUR paper archive.