Safety Verification of Continuous-Space Pure Jump Markov Processes
No abstract available.
Related papers
- Analysis of Markov Jump Processes under Terminal Constraints TACAS 2021
- FAUST 2 : Formal Abstractions of Uncountable-STate STochastic Processes TACAS 2015
- Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes TACAS 2004
- ULTIMATE: A Tool for the Verification and Synthesis of Stochastic World Models CAV 2026
- 1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization VMCAI 2025
- Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes VMCAI 2014
- Low-latency graph streaming using compressed purely-functional trees PLDI 2019
- A Probabilistic Logic for Verifying Continuous-time Markov Chains TACAS 2022