Probabilistic Robust Timed Games.

Youssouf Oualhadj, Pierre-Alain Reynier, Ocan Sankur

Browse the full CONCUR paper archive.