@Inproceedings{EPTCS269.2, author = {Kim, Eric S. and Arcak, Murat and Seshia, Sanjit A. and Kim, BaekGyu and Shiraishi, Shinichi}, year = {2018}, title = {Automatic Generation of Communication Requirements for Enforcing Multi-Agent Safety}, editor = {Gleirscher, Mario and Kugele, Stefan and Linker, Sven}, booktitle = {{\rm Proceedings 2nd International Workshop on} Safe Control of Autonomous Vehicles, {\rm Porto, Portugal, 10th April 2018}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {269}, publisher = {Open Publishing Association}, pages = {3-16}, doi = {10.4204/EPTCS.269.2}, }