JuliaReach/LazySets.jl

Boundedness check for polyhedra using Stiemke's Theorem of alternatives #1136

mforets posted onGitHub

Loading interface...

Fund this Issue

$10.00
Rewarded

Rewarded pull request

Recent activities

sebastianguadalupe was rewarded by mforets for JuliaReach/LazySets.jl# 1136
almost 4 years ago
sebastianguadalupe submitted an output to  JuliaReach/ LazySets.jl# 1136
about 4 years ago