Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

CONCUR
2010
Springer

favoriteEmaildiscussreport

137views Distributed And Parallel Com...» more CONCUR 2010»

Stochastic Real-Time Games with Qualitative Timed Automata Objectives

13 years 6 months ago

Stochastic Real-Time Games with Qualitative Timed Automata Objectives

Download www.fi.muni.cz

Tomás Brázdil, Jan Krcál, Jan

Real-time Traffic

CONCUR 2010 | Distributed And Parallel Computing |

claim paper

Related Content

» Specification and Analysis of Soft RealTime Systems Quantity and Quality

» Optimizing Probabilities of RealTime Test Case Execution

» Qualitative Concurrent Stochastic Games with Imperfect Information

» OneCounter Stochastic Games

» Quantitative stochastic parity games

» Stochastic Game Logic

» Games Time and Probability Graph Models for System Design and Analysis

» Facets of Synthesis Revisiting Churchs Problem

Post Info
More Details (n/a)

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)