Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications.

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

Browse the full LICS paper archive.