Precise Approximations of the Probability Distribution of a Markov Process in Time: An Application to Probabilistic Invariance
Abstract elided by the publisher.
Related papers
- PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games CAV 2019
- Analysis of Markov Jump Processes under Terminal Constraints TACAS 2021
- Markov processes in Isabelle/HOL CPP 2017
- Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains CAV 2025
- Probabilistic Total Store Ordering ESOP 2022
- A Probabilistic Logic for Verifying Continuous-time Markov Chains TACAS 2022
- Probabilistic Resource-Aware Session Types POPL 2023
- Robust Probabilistic Bisimilarity for Labelled Markov Chains CAV 2025