The following pages link to Simulation Distances (Q3584934):
Displayed 6 items.
- General quantitative specification theories with modal transition systems (Q404008) (← links)
- Interface simulation distances (Q477211) (← links)
- Metrics for weighted transition systems: axiomatization and complexity (Q549202) (← links)
- Program repair without regret (Q746769) (← links)
- Simulation distances (Q764284) (← links)
- Enhancing Automata Learning by Log-Based Metrics (Q2814131) (← links)