On-the-Fly Exact Computation of Bisimilarity Distances
No abstract available.
Related papers
- Deciding Probabilistic Bisimilarity Distance One for Labelled Markov Chains CAV 2018
- Robust Probabilistic Bisimilarity for Labelled Markov Chains CAV 2025
- Sound and robust solid modeling via exact real arithmetic and continuity ICFP 2019
- Efficient and Exact Data Dependence Analysis PLDI 1991
- Program locality analysis using reuse distance TOPLAS 2009
- Assessing the Quality of Binomial Samplers: A Statistical Distance Framework CAV 2025
- Tight typings and split bounds, fully developed JFP 2020
- Tight typings and split bounds ICFP 2018