JuliaReach / Reachability.jl

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

Dispatch on solve! for BFFPSV18 #646

Open mforets opened 5 years ago

mforets commented 4 years ago

What i probably meant here was to avoid the opC isa foo checks in solve! for hybrid systems, eg. here.