New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

API for time-varying input sets #298

Open

mforets opened this issue Jul 29, 2020 · 0 comments

Member

mforets commented Jul 29, 2020

discretization:

https://github.com/JuliaReach/Reachability.jl/blob/master/src/ReachSets/discretize.jl#L690

dfcaporale added a commit that referenced this issue


closes #298 for GLGM06 algorithm

322183b

dfcaporale mentioned this issue

Time-varying input sets for GLGM06 #330

Closed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment