DMCA

Strategy Improvement for Concurrent Reachability Games (2006)

Cached

Download Links

by Reachability Games , Thomas A. Henzinger , Krishnendu Chatterjee , Luca De Alfaro , Thomas A. Henzinger