Name Card

Full name Familienname, Vorname
Arming, Sebastian
 

Own Publications Eigene Publikationen

Results 1-5 of 5 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Arming, Sebastian ; Bartocci, Ezio ; Chatterjee, Krishnendu ; Katoen, Joost-Pieter ; Sokolova, Ana Parameter-Independent Strategies for pMDPs via POMDPsKonferenzbeitrag Inproceedings 2018
2Arming, Sebastian ; Bartocci, Ezio ; Sokolova, Ana SEA-PARAM: Exploring Schedulers in Parametric MDPsKonferenzbeitrag Inproceedings2017
3Arming, Sebastian ; Pichler, Reinhard ; Sallinger, Emanuel Complexity of Repair Checking and Consistent Query AnsweringKonferenzbeitrag Inproceedings 2016
4Arming, Sebastian Complexity of repair checking and consistent query answeringThesis Hochschulschrift2015
5Arming, Sebastian ; Pichler, Reinhard ; Sallinger, Emanuel Combined Complexity of Repair Checking and Consistent Query AnsweringKonferenzbeitrag Inproceedings 2014