Trace-Length Independent Runtime Monitoring of Quantitative Policies | IEEE Journals & Magazine | IEEE Xplore