search

JuliaReach / Reachability.jl

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

Fix bug for N == 1 in BFFPSV18 #727

Closed mforets closed 4 years ago

mforets commented 4 years ago

cc: @dfcaporale