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

Published in: HSCC (2023)

Keyphrases