32 citations · 32 across the 2 of their papers we have counts for
1 paper · 1 filter
Taolue Chen, Tingting Han, Joost-Pieter Katoen +1
We study the verification of a finite continuous-time Markov chain (CTMC) C against a linear real-time specification given as a deterministic timed automaton (DTA) A with finite or…