shengzh-oOoO

Pinned Repositories

ADEPT
ADEPT: A Testing Platform for Simulated Autonomous Driving
Language:Python50
DisSys
Language:Go30
CodeSim
Language:C++20
Cache-Simulator
Language:C++10
Jmtrace
Language:Java10
RISC-V-Simulator
Language:C++10
TuringProject
Language:C++10
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.
Language:Python00
imitation-learning
Repository to store conditional imitation learning based AI that runs on CARLA.
Language:Python00
LearningByCheating
Driving in CARLA using model-free deep reinforcement learning
Language:Python00

shengzh-oOoO's Repositories

shengzh-oOoO/ADEPT
ADEPT: A Testing Platform for Simulated Autonomous Driving
Language:Python5
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
Language:Go3
shengzh-oOoO/TuringProject
Language:C++1
shengzh-oOoO/CodeSim
Language:C++2
shengzh-oOoO/Jmtrace
Language:Java1
shengzh-oOoO/Cache-Simulator
Language:C++1
shengzh-oOoO/RISC-V-Simulator
Language:C++1
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.