English
Related papers

Related papers: On characterisation of Markov processes via martin…

200 papers

An explicit sufficient condition on the hypercontractivity is derived for the Markov semigroup associated to a class of functional stochastic differential equations. Consequently, the semigroup $P_t$ converges exponentially to its unique…

Probability · Mathematics 2014-09-19 Jianhai Bao , Feng-Yu Wang , Chenggui Yuan

A continuous-time Markov chain (CTMC) execution is a continuous class of probability distributions over states. This paper proposes a probabilistic linear-time temporal logic, namely continuous-time linear logic (CLL), to reason about the…

Logic in Computer Science · Computer Science 2022-04-15 Ji Guan , Nengkun Yu

A stable-like process is a Feller process $(X_t)_{t\geq 0}$ taking values in $\mathbb{R}^d$ and whose generator behaves, locally, like an $\alpha$-stable L\'evy process, but the index $\alpha$ and all other characteristics may depend on the…

Probability · Mathematics 2020-05-19 V. Knopova , A. Kulik , R. Schilling

Asymptotic properties of Markov Processes, such as steady state probabilities or hazard rate for absorbing states can be efficiently calculated by means of linear algebra even for large-scale problems. This paper discusses the methods for…

Performance · Computer Science 2017-05-17 Vitali Volovoi

We consider a general method for the approximation of the distribution of a process conditioned to not hit a given set. Existing methods are based on particle system that are failable, in the sense that, in many situations , they are not…

Probability · Mathematics 2016-06-30 William Oçafrain , Denis Villemonais

We analyse the structure of imprecise Markov chains and study their convergence by means of accessibility relations. We first identify the sets of states, so-called minimal permanent classes, that are the minimal sets capable of containing…

Probability · Mathematics 2016-09-20 Damjan Skulj

We consider Markov decision processes (MDPs) in which the transition probabilities and rewards belong to an uncertainty set parametrized by a collection of random variables. The probability distributions for these random parameters are…

Logic in Computer Science · Computer Science 2020-02-26 Murat Cubuktepe , Nils Jansen , Sebastian Junges , Joost-Pieter Katoen , Ufuk Topcu

The martingale comparison method is extended to derive comparison results for path-independent functions for general semimartingales. Our approach allows to dismiss with the Markovian assumption on one of the processes made in previous…

Probability · Mathematics 2019-08-28 Benedikt Köpfer , Ludger Rüschendorf

We study a variable length Markov chain model associated with a group of stationary processes that share the same context tree but each process has potentially different conditional probabilities. We propose a new model selection and…

Methodology · Statistics 2016-01-01 Alexandre Belloni , Roberto I. Oliveira

Order-preserving couplings are elegant tools for obtaining robust estimates of the time-dependent and stationary distributions of Markov processes that are too complex to be analyzed exactly. The starting point of this paper is to study…

Probability · Mathematics 2009-06-02 Lasse Leskelä

This work introduces a novel cause-effect relation in Markov decision processes using the probability-raising principle. Initially, sets of states as causes and effects are considered, which is subsequently extended to regular path…

Logic in Computer Science · Computer Science 2024-08-07 Christel Baier , Jakob Piribauer , Robin Ziemek

In high-stakes engineering applications, optimization algorithms must come with provable worst-case guarantees over a mathematically defined class of problems. Designing for the worst case, however, inevitably sacrifices performance on the…

Systems and Control · Electrical Eng. & Systems 2025-08-04 Andrea Martin , Ian R. Manchester , Luca Furieri

In this paper we study the existence of continuous solutions and their constructions for a second order iterative functional equation, which involves iterate of the unknown function and a nonlinear term. Imposing Lipschitz conditions to…

Classical Analysis and ODEs · Mathematics 2018-03-13 Xiao Tang , Weinian Zhang

We formulate and solve the martingale problem in a nonlinear expectation space. Unlike the classical work of Stroock and Varadhan (1969) where the linear operator in the associated PDE is naturally defined from the corresponding diffusion…

Probability · Mathematics 2014-04-01 Xin Guo , Chen Pan , Shige Peng

We introduce and discuss L\'evy-type cylindrical martingale problems on separable reflexive Banach spaces. Our main observations are the following: Cylindrical martingale problems have a one-to-one relation to weak solutions of stochastic…

Probability · Mathematics 2018-02-05 David Criens

Continuous Markovian Logic (CML) is a multimodal logic that expresses quantitative and qualitative properties of continuous-time labelled Markov processes with arbitrary (analytic) state-spaces, henceforth called continuous Markov processes…

Logic in Computer Science · Computer Science 2015-07-01 Radu Mardare , Luca Cardelli , Kim G. Larsen

Sublinear expectations for uncertain processes have received a lot of attention recently, particularly methods to extend a downward-continuous sublinear expectation on the bounded finitary functions to one on the non-finitary functions. In…

Probability · Mathematics 2023-05-05 Alexander Erreygers

The density hypothesis on random times becomes now a standard in modeling of risks. One of the basic reasons to introduce the density hypothesis is the desire to have a computable credit risk model. However, recent work shows that merely an…

Probability · Mathematics 2014-02-04 Shiqi Song

In this article, we will explore why Karlin-McGregor method of using orthogonal polynomials in the study of Markov processes was so successful for one dimensional nearest neighbor processes, but failed beyond nearest neighbor transitions.…

Probability · Mathematics 2008-12-10 Yevgeniy Kovchegov

Cumulative prospect theory (CPT) is the first theory for decision-making under uncertainty that combines full theoretical soundness and empirically realistic features [P.P. Wakker - Prospect theory: For risk and ambiguity, Page 2]. While…

Logic in Computer Science · Computer Science 2025-05-15 Thomas Brihaye , Krishnendu Chatterjee , Stefanie Mohr , Maximilian Weininger