In [11] an unusual connection between orthogonal polynomials and martingales has been studied. There, all orthogonal She er polynomials, were linked to a unique L evy process, i.e., a continuous time stochastic process with stationary and independent increments. The connection between the polynomials and the L evy process is expressed by a martingale relation. As an application of these marting...

Abstract The paper proposes a new technique to mitigate the state explosion in model checking. is called divide & conquer approach leads-to As indicated by name, dedicated properties. It known that many important systems requirements can be expressed as properties, thus it worth focusing on divides an original checking problem into multiple smaller problems and tackles each one. We prove th...

First via a counter example it is shown that the Proposition 3 of Anbarci & Sun (2013) is false. Then a gap and a mistake in their proof are identified. Finally, a modified version of their Proposition 3 is stated and proved. ∗Counterexample and correction for Proposition 3 in N. Anbarci and C.-j. Sun (2013): Robustness of Intermediate Agreements and Bargaining Solutions, Games and Economic Beh...