Monitoring CTMCs by Multi-clock Timed Automata.

Yijun Feng, Joost-Pieter Katoen, Haokun Li, Bican Xia, Naijun Zhan

Browse the full CAV paper archive.