Robust domain of attraction: Computing and controlling estimates with non-polynomial Lyapunov functions | IEEE Conference Publication | IEEE Xplore