Learning Safety Critics via a Non-Contractive Binary Bellman Operator Conference proceeding (November 2023)