Randomized higher-order computation can be seen as being captured by a lambda calculus endowed with single algebraic operation, namely construct for binary probabilistic choice. What matters about such computations is the probability of obtaining any given result, rather than possibility or necessity it, like in (non)deterministic computation. Termination, arguably simplest kind reachability pr...

Abstract G-Brownian motion has potential applications in uncertainty problems and risk measures, which attracted the attention of many scholars. This study investigates almost sure exponential stability nonlinear stochastic delay hybrid systems driven by motion. Due to non-linearity G-expectation distribution motion, it is difficult this issue. Firstly, existence global unique solution derived ...