Stochastic Real-Time Games with Qualitative Timed Automata Objectives.

Toms Brzdil, Jan Krcl, Jan Kretnsk, Antonn Kucera, Vojtech Rehk

Browse the full CONCUR paper archive.