Analysis of Timed Systems Based on Time-Abstracting Bisimulation
No abstract available.
Related papers
- Branching Bisimulation Learning CAV 2025
- Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains CAV 2025
- Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation CAV 1996
- Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes VMCAI 2014
- A Game for Linear-time-Branching-time Spectroscopy TACAS 2021
- An O(m\log n) Algorithm for Stuttering Equivalence and Branching Bisimulation TACAS 2016
- Reachability Analysis of the Domain Name System POPL 2025
- Forward and Backward Constrained Bisimulations for Quantum Circuits TACAS 2024