@Inproceedings{EPTCS436.7,
  author    = {Fawn, Marlow and Scheutz, Matthias},
  year      = {2025},
  title     = {Achieving Safe Control Online through Integration of Harmonic Control Lyapunov-Barrier Functions with Unsafe Object-Centric Action Policies},
  editor    = {Luckcuck, Matt and Schwammberger, Maike and Xu, Mengwei},
  booktitle = {{\rm Proceedings Seventh International Workshop on}
               Formal Methods for Autonomous Systems,
               {\rm Paris, 17th to 19th of November 2025}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {436},
  publisher = {Open Publishing Association},
  pages     = {69-79},
  doi       = {10.4204/EPTCS.436.7},
}