Experiment design for formal verification via stochastic optimal control - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sofie Haesaert, Paul M. J. Van den Hof, Alessandro Abate. Experiment design for formal verification via stochastic optimal control. In 2016 European Control Conference, ECC 2016, Aalborg, Denmark, June 29 - July 1, 2016. pages 427-432, IEEE, 2016. [doi]

This author has not been identified. Look up 'Sofie Haesaert' in GoogleThis author has not been identified. Look up 'Paul M. J. Van den Hof' in GoogleThis author has not been identified. Look up 'Alessandro Abate' in Google

runs on WebDSL