Pages that link to "Item:Q2260413"
From MaRDI portal
The following pages link to Computing the smallest fixed point of order-preserving nonexpansive mappings arising in positive stochastic games and static analysis of programs (Q2260413):
Displaying 5 items.
- Template polyhedra and bilinear optimization (Q2322312) (← links)
- Policy iteration in finite templates domain (Q2520672) (← links)
- Static Analysis by Abstract Interpretation: A Mathematical Programming Approach (Q2814107) (← links)
- Template-Based Unbounded Time Verification of Affine Hybrid Automata (Q2901366) (← links)
- Improving Strategies via SMT Solving (Q3000582) (← links)