Catalyst.jl icon indicating copy to clipboard operation
Catalyst.jl copied to clipboard

Published 20 hours ago • verified publisher icon SciML

reachability analysis

Open isaacsas opened this issue 3 years ago • 0 comments

For CME type equations as in https://github.com/SciML/Catalyst.jl/pull/417, it might be worthwhile to look at some of the reachability analysis methods in the literature. One recent example:

https://match.pmf.kg.ac.rs/electronic_versions/Match81/n3/match81n3_705-736.pdf

isaacsas avatar Sep 22 '21 16:09 isaacsas