CTMCs with Imprecisely Timed Observations.

Thom Badings, Matthias Volk, Sebastian Junges, Marille Stoelinga, Nils Jansen

Browse the full TACAS paper archive.