search

JuliaReach / Reachability.jl

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

Fix ABS07_decomposed with inputs #737

Closed schillic closed 4 years ago

schillic commented 4 years ago

This fixes a bug in ABS07_decomposed where the inputs were not multiplied with the matrix power.