Port validated_integ into the TMJets continuous post - Githubissues

JuliaReach / Reachability.jl

Reachability and Safety of Nondeterministic Dynamical Systems

MIT License

50 stars 4 forks source link

Port validated_integ into the TMJets continuous post #611

Closed mforets closed 5 years ago

mforets commented 5 years ago

See https://github.com/JuliaReach/Reachability.jl/issues/602.