Pinned Repositories
ADEPT
ADEPT: A Testing Platform for Simulated Autonomous Driving
DisSys
CodeSim
Cache-Simulator
Jmtrace
RISC-V-Simulator
TuringProject
dl2
DL2 is a framework that allows training neural networks with logical constraints over numerical values in the network (e.g. inputs, outputs, weights) and to query networks for inputs fulfilling a logical formula.
imitation-learning
Repository to store conditional imitation learning based AI that runs on CARLA.
LearningByCheating
Driving in CARLA using model-free deep reinforcement learning
shengzh-oOoO's Repositories
shengzh-oOoO/ADEPT
ADEPT: A Testing Platform for Simulated Autonomous Driving
shengzh-oOoO/dl2
DL2 is a framework that allows training neural networks with logical constraints over numerical values in the network (e.g. inputs, outputs, weights) and to query networks for inputs fulfilling a logical formula.
shengzh-oOoO/DisSys
shengzh-oOoO/TuringProject
shengzh-oOoO/CodeSim
shengzh-oOoO/Jmtrace
shengzh-oOoO/Cache-Simulator
shengzh-oOoO/RISC-V-Simulator
shengzh-oOoO/LearningByCheating
Driving in CARLA using model-free deep reinforcement learning
shengzh-oOoO/imitation-learning
Repository to store conditional imitation learning based AI that runs on CARLA.