This paper gives easy proofs of conditional limit laws for the population size Z t of a critical Markov branching process whose offspring law is attracted to a stable law with index 1 + α, where 0 ≤ α ...

In this paper we prove an upper large deviation bound for a general class of Markov processes, which includes processes with discontinuous statistics. We also specialize the results to a class of jump ...

Probabilistic model checking and Markov decision processes (MDPs) form two interlinked branches of formal analysis for systems operating under uncertainty. These techniques offer a mathematical ...