search

JuliaReach / Reachability.jl

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

#635 - Add output set type option to TMJets #709

Closed SebastianGuadalupe closed 4 years ago

SebastianGuadalupe commented 4 years ago

Closes #635.

mforets commented 4 years ago

An example notebook that we wrote with @SebastianGuadalupe can be found here: https://github.com/mforets/escritoire/blob/master/reachability/VanDerPol.ipynb