ASTL: Accumulative Signal Temporal Logic for IoT Service Monitoring.

Deng Zhao, Zhangbing Zhou, Zhipeng Cai, Teng Long, Sami Yangui, Xiao Xue

Browse the full ICWS paper archive.