Stochastic game logic

Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed

Persons and affiliations

Marcus Groesser - , TUD Dresden University of Technology (Speaker)

Chair of Algebraic and Logical Foundations of Computer Science

Date

19 Sept 2007

Description

Redner:in: Marcus Groesser
Tagung: 4th International Conference on the Quantitative Evaluation of SysTems 2007
Einladendes Institut: QEST conference
Ort: Edinburgh
Land: Großbritannien
Zeit:

Conference

Title	4th International Conference on the Quantitative Evaluation of SysTems
Abbreviated title	QEST 2007
Conference number	4
Duration	16 - 19 September 2007
Website	https://www.qest.org/qest2007/
Degree of recognition	International event
Location	University of Edinburgh
City	Edinburgh
Country	United Kingdom

Keywords

Stochastic Game Logic

Baier, C., Brázdil, T., Groesser, M. & Kučera, A., 17 Sept 2007, QEST'07: Proceedings of the Fourth International Conference on the Quantitative Evaluation of Systems. IEEE Computer Society, Washington , p. 227-236 10 p.

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

View all research output (1)

Research Portal of the TU Dresden