Pages that link to "Item:Q2914365"
From MaRDI portal
The following pages link to Making Weighted Containment Feasible: A Heuristic Based on Simulation and Abstraction (Q2914365):
Displayed 4 items.
- Rigorous approximated determinization of weighted automata (Q385026) (← links)
- An abstraction-refinement methodology for reasoning about network games (Q1630443) (← links)
- Computing branching distances with quantitative games (Q2210522) (← links)
- Parameterized Weighted Containment (Q2946752) (← links)