%0 Conference Paper %1 conf/cdc/Diaz-MercadoJBE15 %A Diaz-Mercado, Yancy %A Jones, Austin %A Belta, Calin %A Egerstedt, Magnus %B CDC %D 2015 %I IEEE %K dblp %P 221-226 %T Correct-by-construction control synthesis for multi-robot mixing. %U http://dblp.uni-trier.de/db/conf/cdc/cdc2015.html#Diaz-MercadoJBE15 %@ 978-1-4799-7886-1

@inproceedings{conf/cdc/Diaz-MercadoJBE15, added-at = {2022-10-02T00:00:00.000+0200}, author = {Diaz-Mercado, Yancy and Jones, Austin and Belta, Calin and Egerstedt, Magnus}, biburl = {https://www.bibsonomy.org/bibtex/25134cdffcaab122e94acb6f9cd89f78c/dblp}, booktitle = {CDC}, crossref = {conf/cdc/2015}, ee = {https://doi.org/10.1109/CDC.2015.7402112}, interhash = {8bef271e544751255300ef0e07d1c0dd}, intrahash = {5134cdffcaab122e94acb6f9cd89f78c}, isbn = {978-1-4799-7886-1}, keywords = {dblp}, pages = {221-226}, publisher = {IEEE}, timestamp = {2024-04-10T13:59:23.000+0200}, title = {Correct-by-construction control synthesis for multi-robot mixing.}, url = {http://dblp.uni-trier.de/db/conf/cdc/cdc2015.html#Diaz-MercadoJBE15}, year = 2015 }