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]
Abstract is missing.