Efficient CTMC Model Checking of Linear Real-Time Objectives.

Benot Barbot, Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre

Browse the full TACAS paper archive.