Kein Foto von Sebastian Arming

Sebastian Arming

Dipl.-Ing.

20172018

Publikationen pro Jahr

Wenn Sie Änderungen in Pure vorgenommen haben, werden diese hier in Kürze erscheinen.

Publikationen

  • 2 Konferenzbeitrag

Parameter-Independent Strategies for pMDPs via POMDPs

Titel in Übersetzung: Parameter-Independent Strategies for pMDPs via POMDPsArming, S., Bartocci, E. & Sokolova, A., 2018, Proceedings QEST'18. Springer, S. 53-70 (Lecture Notes in Computer Science; Band 11024).

Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitrag

SEA-PARAM: Exploring Schedulers in Parametric MDPs

Titel in Übersetzung: SEA-PARAM: Exploring Schedulers in Parametric MDPsArming, S., Bartocci, E. & Sokolova, A., 2017, QAPL@ETAPS 2017. S. 25-38 (Electronic Proceedings in Theoretical Computer Science; Band 250).

Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitrag