Maximizing the Conditional Expected Reward for Reaching the Goal

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

25 Apr. 2017 → 29 Apr. 2017

Beschreibung

Konferenz

Titel	23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Kurztitel	TACAS 2017
Veranstaltungsnummer
Dauer	22 - 29 April 2017
Bekanntheitsgrad	Internationale Veranstaltung
Ort
Stadt	Uppsala
Land	Schweden

Schlagworte

Verknüpfte Inhalte

Veröffentlichungen

Maximizing the Conditional Expected Reward for Reaching the Goal

Baier, C., Klein, J., Klüppelholz, S. & Wunderlich, S., 2017, Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II. Legay, A. & Margaria, T. (Hrsg.). Springer, Berlin [u. a.], S. 269–285 (Lecture Notes in Computer Science, Volume 10206).

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

Alle Veröffentlichungen ansehen (1)