Pinned Repositories
AA228-project-winter-2023
Course project on modeling driving in a roundabout as an MDP, applying reinforcement learning to solve the problem.
AutomotiveSimulator.jl
Package for automotive simulation in Julia from SISL
AutonomousCarMPC
Code for research project on MPC for autonomous driving
cqr
Fork of Conformalized Quantile Regression
CQR_Quantitative_NPM
Forked code of paper "Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes" by Cairoli, Paoletti and Bortolussi.
elsoroka.github.io
My personal website
Satisfiability.jl
Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.
smc-z3-julia
Satisfiability modulo convex optimization (Shoukry et al. 2018) implemented in Julia, plus a new Z3 interface
StanfordAA222Project
AA222 final project on university course scheduling problem
timecrunch
timecrunch web app for course schedule visualization
elsoroka's Repositories
elsoroka/Satisfiability.jl
Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.
elsoroka/AutonomousCarMPC
Code for research project on MPC for autonomous driving
elsoroka/timecrunch
timecrunch web app for course schedule visualization
elsoroka/StanfordAA222Project
AA222 final project on university course scheduling problem
elsoroka/AA228-project-winter-2023
Course project on modeling driving in a roundabout as an MDP, applying reinforcement learning to solve the problem.
elsoroka/AutomotiveSimulator.jl
Package for automotive simulation in Julia from SISL
elsoroka/cqr
Fork of Conformalized Quantile Regression
elsoroka/CQR_Quantitative_NPM
Forked code of paper "Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes" by Cairoli, Paoletti and Bortolussi.
elsoroka/elsoroka.github.io
My personal website
elsoroka/ExprRules.jl
Functions for declaring and working with grammars and expression trees in Julia.
elsoroka/smc-z3-julia
Satisfiability modulo convex optimization (Shoukry et al. 2018) implemented in Julia, plus a new Z3 interface
elsoroka/latex-ideas
Things I found in LaTeX rabbit holes.
elsoroka/MAE-136-158-159
A digital conversion of Professor Liebeck's notes for MAE 136 and, eventually, MAE 158 and 159
elsoroka/MAE-Purchase-Automation
Script tools to automate purchase management for UCI Engineering senior design / research teams.
elsoroka/Trajectron-plus-plus
Fork of code accompanying the ECCV 2020 paper "Trajectron++: Dynamically-Feasible Trajectory Forecasting With Heterogeneous Data" by Tim Salzmann*, Boris Ivanovic*, Punarjay Chakravarty, and Marco Pavone (* denotes equal contribution).