phate09 Goto Github PK

bham_brigade_py

a python client for predicting fires within AMASE simulator

capsule-net

Safety verification applied to Capsule Networks

drl_banana

Project 1: Navigation from the Deep Reinforcement Learning Nanodegree on Udacity

drl_collab_compet

Udacity deep reinforcement learning collaboration and competition project

drl_continuous_control

Udacity deep reinforcement learning continuous control project

gresearch_kaggle

G-Research Kaggle Competition

ijcai-poster-safedrl_infinity

jfxee

Automatically exported from code.google.com/p/jfxee

mass

open_day_bham_teleop

A repository for teleoperating a robot during open days

plotneuralnet

Latex code for making neural networks diagrams

prism

The main development version of the PRISM model checker.

reinforcement-learning

Implementation of Reinforcement Learning Algorithms. Python, OpenAI Gym, Tensorflow. Exercises and Solutions to accompany Sutton's Book and David Silver's course.

rp14-exercise4-master

repository for modified robotics util

safedrl

Repository containing the PhD Thesis "Formal Verification of Deep Reinforcement Learning Agents"

saferl_infinity

Repository for the paper "Verifying Reinforcement Learning up to Inifinity"

stigler_app

Balanced diet on a budget

todochores

a mod for the game Don't Starve Together