Popular repositories Loading

1. Adapting-Specifications-for-Reactive-Controllers Adapting-Specifications-for-Reactive-Controllers Public

   Specifications used in the evaluation of the paper 'Adapting Specifications for Reactive Controllers'

   1

2. train-procgen-pytorch train-procgen-pytorch Public

   Forked from jbkjr/train-procgen-pytorch

   Pytorch implementation on OpenAI's Procgen ppo-baseline, built from scratch.

   Python 1

3. Public Public Public

4. SpecDegradeLAS SpecDegradeLAS Public

   Java 1

5. AlphaZero AlphaZero Public

   Forked from google-deepmind/open_spiel

   OpenSpiel is a collection of environments and algorithms for research in general reinforcement learning and search/planning in games.

   C++

6. x_squared x_squared Public

   Neural Network Extrapolation example for simple functions

   Python