Skip to content

Issues: JuliaReach/Reachability.jl

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

Clear current search query, filters, and sorts
30 Open 24 Closed
30 Open 24 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Use exact quadratic expansion in discretization of interval matrix performance
#677 opened Sep 8, 2019 by mforets
Check online intersection with invariant in GLGM06 performance
#626 opened May 1, 2019 by mforets
1
Fixpoint check with time variable feature performance
#594 opened Mar 24, 2019 by schillic
Use box overapproximation for the error set in GLGM06 performance
#565 opened Mar 20, 2019 by mforets
@mforets
Add an option to discretization for computing the matrix inverse feature performance
#514 opened Mar 5, 2019 by schillic
Different exponentiation methods in discretization feature performance
#506 opened Mar 5, 2019 by mforets
1
Sparse option with ExponentialUtilities feature performance
#429 opened Jan 30, 2019 by mforets
1
Union of sets in passed list feature hybrid performance
#356 opened Oct 18, 2018 by schillic
1
Bounded clustering feature performance
#354 opened Oct 18, 2018 by schillic
Discrete post operator for models without assignments feature performance refactoring
#352 opened Oct 17, 2018 by schillic
Take intersection with target invariant after clustering feature performance
#330 opened Oct 15, 2018 by schillic
Jump successors should be inserted into passed_list immediately performance
#329 opened Oct 15, 2018 by schillic
Perform inclusion check before intersecting initial states performance robustness
#316 opened Oct 14, 2018 by schillic
Preprocess hybrid systems performance
#270 opened Oct 5, 2018 by schillic
Simplification for deterministic assignments feature hybrid performance precision
#269 opened Oct 5, 2018 by schillic
Fixpoint checks feature performance
#262 opened Oct 4, 2018 by schillic
1
Improve efficiency of hybrid reachability algorithm performance
#251 opened Sep 24, 2018 by schillic
2 of 4 tasks
Caching of discretization information discussion hybrid performance
#249 opened Sep 19, 2018 by schillic
Graph reachability performance
#235 opened Sep 4, 2018 by schillic
Implement LGG algorithm (template polyhedra) algorithm A discrete or continuous post reachability algorithm feature performance
#233 opened Sep 2, 2018 by schillic
Adaptive choice of time step feature performance
#224 opened Jul 12, 2018 by schillic
Understand why 1D analysis is slower than nD analysis discussion performance
#215 opened Jun 7, 2018 by schillic
1
Add option to maintain both explicit and lazy inputs for property checking feature performance
#178 opened May 12, 2018 by schillic
2
2D Projection of Cartesian product of 2D blocks performance
#161 opened May 4, 2018 by schillic
Mixed set representations feature performance
#160 opened May 2, 2018 by schillic
ProTip! Add no:assignee to see everything that’s not assigned.