Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring.

Konstantinos Mamouras, Agnishom Chattopadhyay, Zhifu Wang

Browse the full TACAS paper archive.