@misc{indiciaea49750e215f7,
  title = {SOS Construction of Compatible Control Lyapunov and Barrier Functions},
  author = {Michael Schneeberger and Florian Dörfler and Silvia Mastellone},
  year = {2023},
  url = {https://arxiv.org/abs/2305.01222},
  note = {Source identifier: 2305.01222}
}