research
∙
05/01/2023
Efficient Sensitivity Analysis for Parametric Robust Markov Chains
We provide a novel method for sensitivity analysis of parametric robust ...
share
research
∙
03/10/2023
Decision-Making Under Uncertainty: Beyond Probabilities
This position paper reflects on the state-of-the-art in decision-making ...
research
∙
01/04/2023
Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions
Controllers for dynamical systems that operate in safety-critical settin...
research
∙
12/01/2022
Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics
Automated synthesis of provably correct controllers for cyber-physical s...
research
∙
10/12/2022