-
iscas
- Beijing
Block or Report
Block or report EcstasyH
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories
-
-
Interpolation
Interpolation PublicSynthesizing polynomial Craig interpolations over non-compact regions via homogenization
Mathematica 2
-
EXP-solver
EXP-solver PublicSolver for the extension of Presburger Arithmetic with exponential functions (PAexp)
Mathematica 1
-
TolerantBarrierCertificate
TolerantBarrierCertificate PublicSynthesizing Tolerant-BC for stochastic dynamical systems.
MATLAB
-
BCunbounded
BCunbounded PublicSynthesizing barrier certificates over non-compact regions via homogenization
Mathematica
If the problem persists, check the GitHub status page or contact support.