search

JuliaReach / SpaceExParser.jl

Parser for the SpaceEx modeling language in Julia
https://juliareach.github.io/SpaceExParser.jl/
MIT License
7 stars 1 forks source link

[WIP]: drivetrain benchmark #30

Closed kpotomkin closed 5 years ago

schillic commented 5 years ago

Does the filtered oscillator belong here? I would use a new PR.

mforets commented 5 years ago

Let's outsource the model from this branch and the associated Jupyter notebooks /Drivetrain/Drivetrain.ipynb to the ReachabilityBenchmarks repo.

schillic commented 5 years ago

Can we delete this branch?