The following pages link to Simulation-based minimization (Q5267428):
Displayed 7 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)
- An efficient simulation algorithm on Kripke structures (Q2453984) (← links)
- An Algorithm for Probabilistic Alternating Simulation (Q2891387) (← links)
- Strong simulation (Q2943564) (← links)
- Correcting a Space-Efficient Simulation Algorithm (Q3512514) (← links)