Computing the smallest fixed point of order-preserving nonexpansive mappings arising in positive stochastic games and static analysis of programs

From MaRDI portal
(Redirected from Publication:2260413)