Robust Verification of Concurrent Stochastic Games.

Angel Y. He, David Parker

Browse the full TACAS paper archive.