Correct-by-construction control synthesis for multi-robot mixing - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yancy Diaz-Mercado, Austin Jones, Calin Belta, Magnus Egerstedt. Correct-by-construction control synthesis for multi-robot mixing. In 54th IEEE Conference on Decision and Control, CDC 2015, Osaka, Japan, December 15-18, 2015. pages 221-226, IEEE, 2015. [doi]

This author has not been identified. Look up 'Yancy Diaz-Mercado' in GoogleThis author has not been identified. Look up 'Austin Jones' in GoogleThis author has not been identified. Look up 'Calin Belta' in GoogleThis author has not been identified. Look up 'Magnus Egerstedt' in Google

runs on WebDSL