All Categories → No Category → keymaerax

Top 1 keymaerax open source projects

The Verifiably Safe Reinforcement Learning Framework

✭ 42

python shell reinforcement-learning pytorch reinforcement-learning-algorithms formal-methods formal-verification keymaerax safety-critical cyber-physical-systems differential-dynamic-logic keymaera safe-reinforcement-learning reinforcement-learning-environments safe-control

1-1 of 1 keymaerax projects