Giters
Tung Phan (tungminhphan)

tungminhphan

Geek Repo

7

followers

3

following

6

stars

Location:Pasadena, USA

Github PK Tool:Github PK Tool

Tung Phan's repositories

traffic-intersection

This is an example of the design-by-contract method

Language:PythonStargazers:14Issues:3Issues:0

reactive_contracts

An implementation of a reactive GR(1) contract

Language:PythonStargazers:4Issues:1Issues:0

ag_profiles

"Assume-guarantee profiles" paper

Stargazers:0Issues:1Issues:0

convex_adversarial

A method for training neural networks that are provably robust to adversarial attacks.

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

pycolab

A highly-customisable gridworld game engine with some batteries included. Make your own gridworld games to test reinforcement learning agents!

Language:PythonLicense:Apache-2.0Stargazers:0Issues:1Issues:0