Pinned

1. MFNLC MFNLC Public

   [IROS 22'] Model-free Neural Lyapunov Control

   Python 15 1

2. mobrob mobrob Public

   Mobile Robot Control via Goal-Conditioned Reinforcement Learning

   Python 4 1

3. VRL_CodeReview VRL_CodeReview Public

   [PLDI 19'] An Inductive Synthesis Framework for Verifiable Reinforcement Learning

   Python 13 5

4. diff-spec diff-spec Public

   Differentiable Symbolic Specification

   Python 3 1

5. rl-detect-and-denoise-defense rl-detect-and-denoise-defense Public

   [ECML 22'] Defending Observation Attacks in Deep Reinforcement Learning via Detection and Denoising

   Python 4

6. STL-Mobile-Robot STL-Mobile-Robot Public

   Turn STL formulas into maps and planed paths, control robots with DRL controllers.

   Python 4 1