Pinned Repositories
AutoValetParking
CSE190
ag_profiles
"Assume-guarantee profiles" paper
convex_adversarial
A method for training neural networks that are provably robust to adversarial attacks.
pycolab
A highly-customisable gridworld game engine with some batteries included. Make your own gridworld games to test reinforcement learning agents!
reactive_contracts
An implementation of a reactive GR(1) contract
RoSE
Road Scenario Emulator
traffic-intersection
This is an example of the design-by-contract method
traffic_intersection_observer
tungminhphan's Repositories
tungminhphan/traffic-intersection
This is an example of the design-by-contract method
tungminhphan/reactive_contracts
An implementation of a reactive GR(1) contract
tungminhphan/ag_profiles
"Assume-guarantee profiles" paper
tungminhphan/convex_adversarial
A method for training neural networks that are provably robust to adversarial attacks.
tungminhphan/pycolab
A highly-customisable gridworld game engine with some batteries included. Make your own gridworld games to test reinforcement learning agents!
tungminhphan/RoSE
Road Scenario Emulator