On Skolem-hardness and saturation points in Markov decision processes

Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen

Personen und Einrichtungen

Jakob Piribauer - , Professur für Algebraische und logische Grundlagen der Informatik (Redner:in)

Datum

8 Juli 2020

Beschreibung

Konferenz

Titel	47th International Colloquium on Automata, Languages and Programming
Kurztitel	ICALP 2020
Dauer	8 - 11 Juli 2020
Webseite	https://icalp2020.saarland-informatics-campus.de/
Ort	online
Stadt	Saarbrücken
Land	Deutschland

Schlagworte

Verknüpfte Inhalte

Veröffentlichungen

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. (Hrsg.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, S. 138:1-138:17 (47th International Colloquium on Automata, Languages, and Programming (ICALP 2020) ; Bd. 168).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen

Alle Veröffentlichungen ansehen (1)