Roadmap 2020

Jump to bottom

Marcelo Forets edited this page Jan 15, 2020 · 7 revisions

This page collects links (mainly from Reachability.jl) that we have as a road-map for further work.

User interface

Algorithms

Variable time-step
- https://github.com/JuliaReach/Reachability.jl/issues/231
XFZ18
- https://github.com/JuliaReach/Reachability.jl/pull/502
GLGM06
- https://github.com/JuliaReach/Reachability.jl/issues/626