DMCA

Strategy improvement for concurrent reachability games (2006)

by Krishnendu Chatterjee
Venue:In Proceedings of the Third Annual Conference on Quantitative Evaluation of Systems. IEEE Computer
Citations:17 - 6 self