NewEvery arXiv paper, its researchers & institutions — mapped.
papers

Publications (2)

cs.LO2017

SEA-PARAM: Exploring Schedulers in Parametric MDPs

Sebastian Arming, Ezio Bartocci, Ana Sokolova

cs.LO2018

Parameter-Independent Strategies for pMDPs via POMDPs

Sebastian Arming, Ezio Bartocci, Krishnendu Chatterjee +2