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

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

Personen und Einrichtungen

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

Datum

10 Juli 2018

Beschreibung

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

Konferenz

Titel	33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018
Dauer	9 - 12 Juli 2018
Stadt	Oxford
Land	Großbritannien/Vereinigtes Königreich

Schlagworte

Verknüpfte Inhalte

Veröffentlichungen

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, S. 86-94 9 S.

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

Alle Veröffentlichungen ansehen (1)