7 citations · 19 across the 11 of their papers we have counts for
1 paper · 2 filters
Ivan Papusha, Ufuk Topcu, Steven Carr +1
We introduce a novel architecture and computational framework for formal, automated analysis of systems with a broad set of nonlinearities in the feedback loop, such as neural netw…