@misc{indiciaeed1574f107b7,
  title = {Synthesis and verification of robust-adaptive safe controllers},
  author = {Simin Liu and Kai S. Yun and John M. Dolan and Changliu Liu},
  year = {2024},
  doi = {10.23919/ecc64448.2024.10590909},
  url = {https://arxiv.org/abs/2311.00822},
  note = {Source identifier: 2311.00822}
}