conf.researchr.org / Simone Silvetti
Not registered as user yet
Name:Simone Silvetti
Contributions
SynCoP 2019 | Author of Parametric Verification and Synthesis based on Gaussian Processes within the SynCoP-track |
Not registered as user yet
Contributions
SynCoP 2019 | Author of Parametric Verification and Synthesis based on Gaussian Processes within the SynCoP-track |