We employ uncertain parametric CTMCs with parametric transition rates an...
We consider parametric Markov decision processes (pMDPs) that are augmen...
Controllers for autonomous systems that operate in safety-critical setti...
We study planning problems for continuous control systems with uncertain...
share