Research Frontiers in Continuous Time Markov Chain Verification and Analysis
Theoretical and algorithmic advances in verification and quantitative analysis of continuous-time stochastic systems with applications to queueing networks and biological systems.