search

JuliaReach / Reachability.jl

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

#702 - MethodError in TMJets projection #703

Closed mforets closed 4 years ago

mforets commented 4 years ago

Closes #702.

schillic commented 4 years ago

Maybe add a test case?