The following pages link to Simulation-based minimization (Q5267428):
Displayed 10 items.
- Game-theoretic simulation checking tool (Q764005) (← links)
- Generalizing the Paige-Tarjan algorithm by abstract interpretation (Q924726) (← links)
- An efficient simulation algorithm based on abstract interpretation (Q1049401) (← links)
- Parity game reductions (Q1656552) (← links)
- An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation (Q1785863) (← links)
- An efficient simulation algorithm on Kripke structures (Q2453984) (← links)
- An Algorithm for Probabilistic Alternating Simulation (Q2891387) (← links)
- Strong simulation (Q2943564) (← links)
- Abstraction and Abstraction Refinement (Q3176371) (← links)
- Correcting a Space-Efficient Simulation Algorithm (Q3512514) (← links)