1 paper · 1 filter
Rudra Prakash, S. Janardhanan, Shaunak Sen
This paper analyzes the computational complexity of validated interval methods for uncertain nonlinear systems and steady-state enclosure. Interval analysis produces guaranteed enc…