@misc{indiciaee63fecbc4aa7,
  title = {Safe-by-Design Planner-Tracker Synthesis},
  author = {Katherine S. Schweidel and He Yin and Stanley W. Smith and Murat Arcak},
  year = {2022},
  url = {https://arxiv.org/abs/2201.04590},
  note = {Source identifier: 2201.04590}
}