Popular repositories

1. dirl dirl Public

   Code for experiments in the paper: "Compositional Reinforcement Learning from Logical Specifications" (https://arxiv.org/abs/2106.13906).

   Python 14 5

2. spectrl_tool spectrl_tool Public

   Learning algorithm implementation and experiments in the paper "A Composable Specification Language for Reinforcement Learning Tasks" (https://arxiv.org/abs/2008.09293).

   Python 13 4

3. abstract-value-iteration abstract-value-iteration Public

   Code for experiments in the paper "Abstract Value Iteration for Hierarchical Reinforcement Learning" (https://arxiv.org/abs/2010.15638).

   Python 7 1

4. personal-website personal-website Public

   Personal Website hosted at https://keyshor.github.io/

   TeX 1

5. autonomous_car_verification autonomous_car_verification Public

   Forked from rivapp/autonomous_car_verification

   Python 1 1

6. keyshor.github.io keyshor.github.io Public

   Personal website

   HTML 1