ReachabilityAnalysis.jl
ReachabilityAnalysis.jl copied to clipboard
Backwards reachability for linear systems
ref notebook: https://nbviewer.jupyter.org/github/mforets/escritoire/blob/master/2020/Week43/Backwards_Linear.ipynb