BibTeX record journals/corr/abs-1804-04345

• > Home > journals/corr/abs-1804-04345

@inproceedings{DBLP:journals/corr/abs-1804-04345,
  author       = {Eric S. Kim and
                  Murat Arcak and
                  Sanjit A. Seshia and
                  BaekGyu Kim and
                  Shinichi Shiraishi},
  editor       = {Mario Gleirscher and
                  Stefan Kugele and
                  Sven Linker},
  title        = {Automatic Generation of Communication Requirements for Enforcing Multi-Agent
                  Safety},
  booktitle    = {Proceedings 2nd International Workshop on Safe Control of Autonomous
                  Vehicles, SCAV@CPSWeek 2018, Porto, Portugal, 10th April 2018},
  series       = {{EPTCS}},
  volume       = {269},
  pages        = {3--16},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.269.2},
  doi          = {10.4204/EPTCS.269.2},
  timestamp    = {Sat, 30 Sep 2023 10:08:08 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1804-04345.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}