In this paper, we study the Hausdorff dimension of generalized intrinsic level set with respect to given ergodic meausre in a class non-uniformly hyperbolic interval maps finitely many branches.

Abstract GNSS integrity monitoring requires proper bounding to characterize all ranging error sources. Unlike classical approaches based on probabilistic assumptions, our alternative approach depends deterministic interval bounds as inputs. The intrinsically linear uncertainty propagation with intervals is adequate describe remaining systematic uncertainty, the so-called imprecision. In this co...

This paper serves as a progress report on our research, specifically focusing utilizing interval analysis, an existing static analysis method, for detecting vulnerabilities in smart contracts. We present selection of motivating examples featuring vulnerable contracts and share the results from experiments conducted with various detection tools. Our findings reveal that these tools were unable t...