No photo of Sebastian Arming

Sebastian Arming

Dipl.-Ing.

20172018

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

  • 2 Conference contribution

Parameter-Independent Strategies for pMDPs via POMDPs

Arming, S., Bartocci, E. & Sokolova, A., 2018, Proceedings QEST'18. Springer, p. 53-70 (Lecture Notes in Computer Science; vol. 11024).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

SEA-PARAM: Exploring Schedulers in Parametric MDPs

Arming, S., Bartocci, E. & Sokolova, A., 2017, QAPL@ETAPS 2017. p. 25-38 (Electronic Proceedings in Theoretical Computer Science; vol. 250).

Research output: Chapter in Book/Report/Conference proceedingConference contribution