On Skolem-hardness and saturation points in Markov decision processes

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

Persons and affiliations

Jakob Piribauer - , Chair of Algebraic and Logical Foundations of Computer Science (Speaker)

Date

8 Jul 2020

Description

Speaker: Jakob Piribauer
Event: 47th International Colloquium on Automata, Languages and Programming (ICALP 2020)
Inviting institution: Saarland Informatics Campus, Saarbrücken
Location: online (pre-recorded)
Country: Deutschland
Duration of event: 08.07.2020-08.07.2020

Conference

Title	47th International Colloquium on Automata, Languages and Programming
Abbreviated title	ICALP 2020
Duration	8 - 11 July 2020
Website	https://icalp2020.saarland-informatics-campus.de/
Location	online
City	Saarbrücken
Country	Germany

Keywords

On Skolem-Hardness and Saturation Points in Markov Decision Processes

Piribauer, J. & Baier, C., 2020, 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020). Czumaj, A., Dawar, A. & Merelli, E. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 138:1-138:17 (47th International Colloquium on Automata, Languages, and Programming (ICALP 2020) ; Bd. 168).

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

View all research output (1)

Research Portal of the TU Dresden