Strategy Improvement for Concurrent Reachability and Safety Games ∗ ,† ,‡ Krishnendu Chatterjee† Luca de Alfaro§ - Stochastic game - Document - PDFSEARCH.IO

First Page	Meta Content
	Strategy Improvement for Concurrent Reachability and Safety Games ∗ ,† ,‡ Krishnendu Chatterjee† Luca de Alfaro§ Add to Reading List Document Date: 2012-01-22 05:31:56 Open Document File Size: 334,61 KB Share Result on Facebook

Strategy Improvement for Concurrent Reachability and Safety Games ∗ ,† ,‡ Krishnendu Chatterjee† Luca de Alfaro§Add to Reading List