01AlgebraicDynamics.jl integration for compositional modeling
02Bifurcation detection for parameter-dependent changes
03Qualitative dynamic robustness analysis for complex systems
04Non-backtracking geodesic qualification via Möbius filters
05Phase space evaluation of local and global invariant sets
062 GitHub stars