keyshor Goto Github PK

abstract-value-iteration

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

autonomous_car_verification

berkeley-deeprl-homework

Assignments for CS294-112.

concolic-testing

Project for CIS 700

dirl

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

high-nash

Specification-guided RL algorithm for computing Nash equilibria with high social welfare in competitive Markov games.

keyshor.github.io

Personal website

personal-website

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

reward_machines

rosac

Code for experiments in the paper "Robust Subtask Learning for Compositional Generalization"

spectrl_tool

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