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

Parsing GEN files #28

Open mforets opened 6 years ago

mforets commented 6 years ago

Add utility function to transform SpaceEx output (eg. polygons or flowpipes as TXT) to Julia objects within JuliaReach.

See https://github.com/JuliaReach/ReachabilityBenchmarks/pull/25#issuecomment-400413620

schillic commented 5 years ago

This would be cool to show reach sets from SpaceEx and JuliaReach in the same plot.