tungminhphan
Follow
-
-
traffic-intersection Public
This is an example of the design-by-contract method
-
reactive_contracts Public
An implementation of a reactive GR(1) contract
-
-
pycolab Public
Forked from google-deepmind/pycolabA highly-customisable gridworld game engine with some batteries included. Make your own gridworld games to test reinforcement learning agents!
-
convex_adversarial Public
Forked from locuslab/convex_adversarialA method for training neural networks that are provably robust to adversarial attacks.
Python MIT License UpdatedMar 11, 2018