Quantitative and Approximate Monitoring.

Thomas A. Henzinger, N. Ege Sara

Browse the full LICS paper archive.