Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access

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

Persons and affiliations

Patrick Wienhöft - , Chair of Algebraic and Logical Foundations of Computer Science (Speaker)

Date

16 May 2023

Conference

Title	NASA Formal Methods Symposium 2023
Abbreviated title	NFM 2023
Conference number	2023
Duration	16 - 18 May 2023
Website	https://conf.researchr.org/home/nfm-2023#About
Degree of recognition	International event
Location	University of Clear Lake
City	Houston
Country	United States of America

Keywords

Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access

Baier, C., Dubslaff, C., Wienhöft, P. & Kiebel, S., 3 Jun 2023, NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings. Rozier, K. Y. & Chaudhuri, S. (eds.). Springer, Cham, p. 86-103 18 p. (Lecture Notes in Computer Science, Vol. 13903).

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

Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access

Persons and affiliations

Date

Conference

Keywords

Related content

Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access