research
∙
09/03/2023
Verifying the Unknown: Correct-by-Design Control Synthesis for Networks of Stochastic Uncertain Systems
In this paper, we present an approach for designing correct-by-design co...
share
research
∙
04/14/2023
Bayesian Approach to Temporal Logic Control of Uncertain Systems
This paper addresses the problem of data-driven computation of controlle...
research
∙
10/15/2022
Correct-by-Design Control of Parametric Stochastic Systems
This paper addresses the problem of computing controllers that are corre...
research
∙
04/27/2022