set-propagation topic
List
set-propagation repositories
LazySets.jl
227
Stars
32
Forks
Watchers
Scalable symbolic-numeric set computations in Julia
ReachabilityAnalysis.jl
186
Stars
17
Forks
Watchers
Computing reachable states of dynamical systems in Julia