Safe-RL-Team / viper-verifiable-rl-impl

Implementation of the VIPER algorithm introduced in "Verifiable Reinforcement Learning via Policy Extraction" by Bastani et al.
11Updated 11 months ago

Related projects

Alternatives and complementary repositories for viper-verifiable-rl-impl