Maximizing the Conditional Expected Reward for Reaching the Goal

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

Persons and affiliations

Christel Baier - , Chair of Algebraic and Logical Foundations of Computer Science (Speaker)

Date

25 Apr 2017 → 29 Apr 2017

Description

Conference

Title	23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Abbreviated title	TACAS 2017
Conference number
Duration	22 - 29 April 2017
Degree of recognition	International event
Location
City	Uppsala
Country	Sweden

Keywords

Maximizing the Conditional Expected Reward for Reaching the Goal

Baier, C., Klein, J., Klüppelholz, S. & Wunderlich, S., 2017, Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II. Legay, A. & Margaria, T. (eds.). Springer, Berlin [u. a.], p. 269–285 (Lecture Notes in Computer Science, Volume 10206).

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

Maximizing the Conditional Expected Reward for Reaching the Goal

Persons and affiliations

Date

Description

Conference

Keywords

Related content

Maximizing the Conditional Expected Reward for Reaching the Goal