Skip to content

Code accompanying "Value Functions are Control Barrier Functions: Verification of Safe Policies using Control Theory"

License

Notifications You must be signed in to change notification settings

dtch1997/rl_cbf

Repository files navigation

Safe Value Functions: Learned Critics as Hard Safety Constraints

This paper was awarded Outstanding Paper at WFVML 2023

This is the code for "Safe Value Functions: Learned Critics as Hard Safety Constraints"

This codebase is implemented using PyTorch, building on CleanRL.

Experiments

Instructions to reproduce the experiments in the paper can be found here

Citing

If you find our work useful, please consider citing:

@article{
    tan2023value,
    title={Safe Value Functions: Learned Critics as Hard Safety Constraints}, 
    author={Daniel C. H. Tan and Fernando Acero and Robert McCarthy and Andromachi Maria Delfaki and Zhibin Li and Dimitrios Kanoulas},
    year={2024},
    eprint={2306.04026},
    archivePrefix={arXiv},
    primaryClass={cs.LG}
}

About

Code accompanying "Value Functions are Control Barrier Functions: Verification of Safe Policies using Control Theory"

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published