PhD candidate, Stanford Information Systems Lab.
-
Stanford University
- Palo Alto, CA. USA
-
23:13
(UTC -12:00) - elsoroka.github.io
- in/emiko-soroka-175105150
Block or Report
Block or report elsoroka
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
Satisfiability.jl
Satisfiability.jl PublicSpecify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.
-
smc-z3-julia
smc-z3-julia PublicSatisfiability modulo convex optimization (Shoukry et al. 2018) implemented in Julia, plus a new Z3 interface
Jupyter Notebook
-
AutonomousCarMPC
AutonomousCarMPC PublicCode for research project on MPC for autonomous driving
Jupyter Notebook 2
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.