Similar Items: Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems
- Exact and Approximate Determinization of Discounted-Sum Automata
- Discounted-Sum Automata with Multiple Discount Factors
- Approximating Queries on Probabilistic Graphs
- Approximate reasoning for real-time probabilistic processes
- Sound approximate and asymptotic probabilistic bisimulations for PCTL
- An Objective Improvement Approach to Solving Discounted Payoff Games