@inproceedings{lecoent:hal-03035228,
  TITLE = {{Cosimulation-based control synthesis}},
  AUTHOR = {Le Coent, Adrien and Alexandre Dit Sandretto, Julien and Chapoutot, Alexandre},
  URL = {https://hal.science/hal-03035228},
  BOOKTITLE = {{Workshop on Formal Co-Simulation of Cyber-Physical Systems}},
  ADDRESS = {Amsterdam, Netherlands},
  YEAR = {2020},
  MONTH = Sep,
  DOI = {10.1007/978-3-030-67220-1\_24},
  HAL_ID = {hal-03035228},
  HAL_VERSION = {v1},
}