Poster Abstract: Data-Driven Correct-by-Design Control of Parametric Stochastic Systems

Mathematics

• Parametric 100%
• Stochastic System 100%
• Bayesian 50%
• Probability Measure 50%
• Linear Regression 50%
• True Parameter 50%
• Confidence Set 50%
• Stochastics 50%
• Parametric Model 50%

Computer Science

• Stochastic System 100%
• Functional Requirement 50%
• Safety Critical Systems 50%
• Regression Method 50%
• Simulation Relation 50%
• Parametric Model 50%
• Controller Synthesis 50%
• Probability Measure 50%