Xinyi-Yu's Stars
ziyc/drivestudio
A 3DGS framework for omni urban scene reconstruction and simulation.
earnedkibbles58/timeParamCPScores
Zhehui-Huang/quad-swarm-rl
Additional environments compatible with OpenAI gym
ChuweiW/st_om
Self-triggered monitoring for STL tasks
Verified-Intelligence/alpha-beta-CROWN
alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, and 2023)
git-lfs/git-lfs
Git extension for versioning large files
Yonv1943/Python
Demo and other Python3 code
abrazinskas/convex-optimization
A convex optimization course https://see.stanford.edu/Course/EE364A completed homework assignments
czslxk/Driver-s-License-in-California
California driver's license written test questions are organized
sailinglab/pgm-spring-2019
Course webpage for PGM, Spring 2019.
sjtug/SJTUThesis
上海交通大学 LaTeX 论文模板 | Shanghai Jiao Tong University LaTeX Thesis Template
JuliaPlots/WGLMakie.jl
WebGL backend for Makie
MakieOrg/Makie.jl
Interactive data visualizations and plotting in Julia
JuliaReach/MathematicalSystems.jl
Systems definitions in Julia
JuliaIntervals/TaylorModels.jl
Rigorous function approximation using Taylor models in Julia
TUMcps/CORA
Toolbox for Reachability Analysis
JuliaPolyhedra/Polyhedra.jl
Polyhedral Computation Interface
JuliaPlots/Plots.jl
Powerful convenience for Julia visualizations and data analysis
JuliaIntervals/IntervalArithmetic.jl
Library for validated numerics using interval arithmetic
JuliaReach/LazySets.jl
Scalable symbolic-numeric set computations in Julia
alshedivat/al-folio
A beautiful, simple, clean, and responsive Jekyll theme for academics
JuliaIntervals/IntervalConstraintProgramming.jl
Calculate rigorously the feasible region for a set of real-valued inequalities with Julia
JuliaReach/JuliaCon-2021-Workshop-Its-All-Set
It's all Set: A hands-on introduction to JuliaReach
JuliaReach/ReachabilityAnalysis.jl
Computing reachable states of dynamical systems in Julia
MengGuo/P_MAS_TG
Planner for Multiple Agent System with Temporal Goals