All the models in this repo (and others) are now available in ReachabilityModels.jl see JuliaReach/ReachabilityModels.jl#11 🎉
The next step would be to cleanup the /models folders in this repo, and write benchmark scripts with specific groups of models to be tested.
cc @SebastianGuadalupe
All the models in this repo (and others) are now available in ReachabilityModels.jl see JuliaReach/ReachabilityModels.jl#11 🎉
The next step would be to cleanup the
/modelsfolders in this repo, and write benchmark scripts with specific groups of models to be tested.cc @SebastianGuadalupe