Reduction Techniques for Model Checking Markov Decision Processes

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

Personen und Einrichtungen

Frank Ciesinski - , Technische Universität Dresden (Redner:in)

Datum

15 Sept. 2008

Konferenz

Titel	5th International Conference on the Quantitative Evaluation of SysTems
Kurztitel	QEST'08
Veranstaltungsnummer
Dauer	14 - 17 September 2008
Webseite	https://www.qest.org/qest2008/
Bekanntheitsgrad	Internationale Veranstaltung
Ort
Stadt	St Malo
Land	Frankreich

Verknüpfte Inhalte

Veröffentlichungen

Reduction Techniques for Model Checking Markov Decision Processes

Ciesinski, F., Baier, C., Groesser, M. & Klein, J., 14 Sept. 2008, QEST'08: Proceedings of the 2008 Fifth International Conference on Quantitative Evaluation of Systems. IEEE Computer Society, Washington , S. 45-54 10 S.

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

Alle Veröffentlichungen ansehen (1)

Forschungsportal der TU Dresden

Personen und Einrichtungen

Datum

Konferenz

Verknüpfte Inhalte