All Categories → No Category → differential-dynamic-logic

Top 1 differential-dynamic-logic 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 differential-dynamic-logic projects