Name Card

Full name Familienname, Vorname

Arming, Sebastian

Own Publications Eigene Publikationen

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

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Arming, Sebastian ; Bartocci, Ezio ; Chatterjee, Krishnendu ; Katoen, Joost-Pieter ; Sokolova, Ana	Parameter-Independent Strategies for pMDPs via POMDPs	Konferenzbeitrag Inproceedings	2018
	2		Arming, Sebastian ; Bartocci, Ezio ; Sokolova, Ana	SEA-PARAM: Exploring Schedulers in Parametric MDPs	Konferenzbeitrag Inproceedings	2017
	3		Arming, Sebastian ; Pichler, Reinhard ; Sallinger, Emanuel	Complexity of Repair Checking and Consistent Query Answering	Konferenzbeitrag Inproceedings	2016
	4		Arming, Sebastian	Complexity of repair checking and consistent query answering	Thesis Hochschulschrift	2015
	5		Arming, Sebastian ; Pichler, Reinhard ; Sallinger, Emanuel	Combined Complexity of Repair Checking and Consistent Query Answering	Konferenzbeitrag Inproceedings	2014