Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes

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

10 Jul 2018

Description

Speaker: Christel Baier
Event: The 33rd Annual ACM/IEEE Symposium
Location: Oxford
Country: Großbritannien
Duration of event: 10.07.2018-10.07.2018

Conference

Title	33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018
Duration	9 - 12 July 2018
City	Oxford
Country	United Kingdom

Keywords

Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes

Baier, C., Bertrand, N., Dubslaff, C., Gburek, D. & Sankur, O., 2018, LICS '18: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. Association for Computing Machinery (ACM), New York, p. 86-94 9 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

Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes

Persons and affiliations

Date

Description

Conference

Keywords

Related content

Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes