A Decidable Probability Logic for Timed Probabilistic Systems

Ruggero Lanotte, Daniele Beauquier

In this paper we extend the predicate logic introduced in [Beauquier et al. 2002] in order to deal with Semi-Markov Processes. We prove that with respect to qualitative probabilist…