The following pages link to Quantitative fair simulation games (Q528184):
Displaying 5 items.
- On satisficing in quantitative games (Q2044188) (← links)
- Computing branching distances with quantitative games (Q2210522) (← links)
- THE CATEGORY OF SIMULATIONS FOR WEIGHTED TREE AUTOMATA (Q3224952) (← links)
- Multi-buffer simulations for trace language inclusion (Q5015280) (← links)
- Optimal repair for omega-regular properties (Q6160923) (← links)