This github repository is holds our Safe RL blog about the CRABS algorithm: https://safe-rl-team.github.io/barrier-certificates/
Based on
The original paper by Luo and Ma is available on Arxiv: https://arxiv.org/pdf/2108.01846.pdf
The code we used is in the repository: https://github.com/flanneryjn/CRABS_RL which has been modified by Jeremiah Flannery and Lars Chen.
Blog License
public domain