Formal Verification of Robotic Behaviors in Presence of Bounded Uncertainties - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier. Formal Verification of Robotic Behaviors in Presence of Bounded Uncertainties. In First IEEE International Conference on Robotic Computing, IRC 2017, Taichung, Taiwan, April 10-12, 2017. pages 81-88, IEEE, 2017. [doi]

This author has not been identified. Look up 'Julien Alexandre Dit Sandretto' in GoogleThis author has not been identified. Look up 'Alexandre Chapoutot' in GoogleThis author has not been identified. Look up 'Olivier Mullier' in Google

runs on WebDSL