A Note on Epsilon-Inflation

    loading  Checking for direct PDF access through Ovid

Abstract

The epsilon-inflation proved to be useful and necessary in many verification algorithms. Different definitions of an epsilon-inflation are possible, depending on the context. Recently, certain theoretical justifications and optimality results were proved for an epsilon-inflation without absolute term. In this note we show that in currently used interval iterations the epsilon-inflation without absolute term does not serve the purpose it is defined for. A new epsilon-inflation is proposed.

Related Topics

    loading  Loading Related Articles