research
∙
05/17/2022
Sampling-Based Verification of CTMCs with Uncertain Rates
We employ uncertain parametric CTMCs with parametric transition rates an...
share
research
∙
12/24/2021
Scenario-Based Verification of Uncertain Parametric MDPs
We consider parametric Markov decision processes (pMDPs) that are augmen...
research
∙
10/25/2021
Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise
Controllers for autonomous systems that operate in safety-critical setti...
research
∙
03/03/2021