The following pages link to (Q4439589):
Displaying 7 items.
- Interface simulation distances (Q477211) (← links)
- Approximate bisimulation: a bridge between computer science and control theory (Q693690) (← links)
- Simulation distances (Q764284) (← links)
- Approximate equivalence and synchronization of metric transition systems (Q1004092) (← links)
- Simulations and bisimulations for analysis of stability with respect to inputs of hybrid systems (Q1790657) (← links)
- Quantitative Simulation Games (Q3587251) (← links)
- Quantifying conformance using the Skorokhod metric (Q5892423) (← links)
