Edoardo Bacci's repositories

SafeDRL

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

ToDoChores

a mod for the game Don't Starve Together

SafeRL_Infinity

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

Language:PythonStargazers:3Issues:0Issues:0

stigler_app

Balanced diet on a budget

Language:PythonStargazers:1Issues:1Issues:0

bham_brigade_py

a python client for predicting fires within AMASE simulator

Language:PythonStargazers:0Issues:3Issues:0

capsule-net

Safety verification applied to Capsule Networks

Language:PythonStargazers:0Issues:1Issues:0

drl_banana

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

Language:PythonStargazers:0Issues:1Issues:0

drl_collab_compet

Udacity deep reinforcement learning collaboration and competition project

Language:PythonStargazers:0Issues:1Issues:0

drl_continuous_control

Udacity deep reinforcement learning continuous control project

Language:PythonStargazers:0Issues:1Issues:0

gresearch_kaggle

G-Research Kaggle Competition

Language:Jupyter NotebookStargazers:0Issues:0Issues:0
Language:TeXStargazers:0Issues:0Issues:0

jfxee

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

Language:JavaStargazers:0Issues:0Issues:0
License:MITStargazers:0Issues:0Issues:0

open_day_bham_teleop

A repository for teleoperating a robot during open days

Language:CSSStargazers:0Issues:0Issues:0

PlotNeuralNet

Latex code for making neural networks diagrams

Language:TeXLicense:MITStargazers:0Issues:0Issues:0

prism

The main development version of the PRISM model checker.

Language:JavaLicense:GPL-2.0Stargazers:0Issues:0Issues:0

reinforcement-learning

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

Language:Jupyter NotebookLicense:MITStargazers:0Issues:0Issues:0

rp14-exercise4-master

repository for modified robotics util

Language:JavaStargazers:0Issues:0Issues:0