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 asa tool to enforce CVaR-safety and propose conditions for their Boolean compositions.