SEA-PARAM: Exploring Schedulers in Parametric MDPs

Titel in Übersetzung: SEA-PARAM: Exploring Schedulers in Parametric MDPs

Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragForschungBegutachtung

OriginalspracheEnglisch
TitelQAPL@ETAPS 2017
Seiten25-38
PublikationsstatusVeröffentlicht - 2017

Publikationsreihe

NameElectronic Proceedings in Theoretical Computer Science
Band250

Systematik der Wissenschaftszweige 2012

  • 101 Mathematik

Zitieren

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