Zhe Chen, Yifan Wu, Ou Wei, Bin Sheng: Deciding weak monitorability for runtime verification. ICSE (Companion Volume) 2018: 163-164