Providing Evidence of Likely Being on Time: Counterexample Generation for CTMC Model Checking.

Tingting Han, Joost-Pieter Katoen

Browse the full ATVA paper archive.