Before revision:  We introduce CVaR barrier functions asa tool to enforce CVaR safety and propose conditions for their Boolean compositions.
After revision:  We introduce CVaR barrier functions as a tool to enforce CVaR safety and propose conditions for their Boolean compositions.