Sciweavers

CONCUR
2010
Springer

Stochastic Real-Time Games with Qualitative Timed Automata Objectives

14 years 16 days ago
Stochastic Real-Time Games with Qualitative Timed Automata Objectives
Tomás Brázdil, Jan Krcál, Jan
Added 08 Nov 2010
Updated 08 Nov 2010
Type Conference
Year 2010
Where CONCUR
Authors Tomás Brázdil, Jan Krcál, Jan Kretínský, Antonín Kucera, Vojtech Rehák
Comments (0)