243 followers
Trace-Length Independent Runtime Monitoring of Quantitative Policies in LTL. - Xiaoning Du, Yang Liu, Alwen Tiu http://t.co/MINEYIL4C3
Trace-Length Independent Runtime Monitoring of Quantitative Policies in LTL. - Xiaoning Du, Yang Liu, Alwen Tiu http://t.co/MINEYIL4C3