search

JuliaReach / Reachability.jl

Reachability and Safety of Nondeterministic Dynamical Systems
MIT License
50 stars 4 forks source link

Option to compute preimage of target invariant #615

Closed schillic closed 5 years ago

schillic commented 5 years ago

Duplicate of #269.