Dimitri Scheftelowitsch

17 papers A 1Journal 5Unranked 10

Year	Rank	Type	Title / Venue / Authors
2020	—	`conf`	Concurrent MDPs with Finite Markovian Policies. MMB Peter Buchholz, Dimitri Scheftelowitsch
2019	J	`jnl`	Computation of weighted sums of rewards for concurrent MDPs. Math. Methods Oper. Res. Peter Buchholz, Dimitri Scheftelowitsch
2019	J	`jnl`	Light robustness in the optimization of Markov decision processes with uncertain parameters. Comput. Oper. Res. Peter Buchholz, Dimitri Scheftelowitsch
2018	—	`conf`	Collider - Parallel Experiments in Silico. MMB Dimitri Scheftelowitsch
2018	—	`—`	Markov decision processes with uncertain parameters. Dimitri Scheftelowitsch
2018	—	`conf`	Time-Based Maintenance Models Under Uncertainty. MMB Peter Buchholz, Iryna Dohndorf, Dimitri Scheftelowitsch
2017	—	`conf`	Analysis of Markov Decision Processes Under Parameter Uncertainty. EPEW Peter Buchholz, Iryna Dohndorf, Dimitri Scheftelowitsch
2017	—	`conf`	Bounded Aggregation for Continuous Time Markov Decision Processes. EPEW Peter Buchholz, Iryna Dohndorf, Alexander Frank, Dimitri Scheftelowitsch
2017	—	`conf`	Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters. VALUETOOLS Dimitri Scheftelowitsch, Peter Buchholz, Vahid Hashemi, Holger Hermanns
2017	J	`jnl`	Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters. CoRR Dimitri Scheftelowitsch, Peter Buchholz, Vahid Hashemi, Holger Hermanns
2017	J	`jnl`	Optimal decisions for continuous time Markov decision processes over finite planning horizons. Comput. Oper. Res. Peter Buchholz, Iryna Dohndorf, Dimitri Scheftelowitsch
2016	J	`jnl`	Equivalence and Minimization for Model Checking Labeled Markov Chains. EAI Endorsed Trans. Scalable Inf. Syst. Peter Buchholz, Jan Kriege, Dimitri Scheftelowitsch
2015	—	`conf`	Equivalence and Minimization for Model Checking Labeled Markov Chains. VALUETOOLS Peter Buchholz, Jan Kriege, Dimitri Scheftelowitsch
2015	—	`conf`	Markov Decision Petri Nets with Uncertainty. EPEW Marco Beccuti, Elvio Gilberto Amparore, Susanna Donatelli, Dimitri Scheftelowitsch, Peter Buchholz, Giuliana Franceschinis
2015	—	`conf`	The Complexity of Uncertainty in Markov Decision Processes. SIAM Conf. on Control and its Applications Dimitri Scheftelowitsch
2014	A	`conf`	Model Checking Stochastic Automata for Dependability and Performance Measures. DSN Peter Buchholz, Jan Kriege, Dimitri Scheftelowitsch
2012	—	`conf`	BeatTheBeat music-based procedural content generation in a mobile game. CIG Annika Jordan, Dimitri Scheftelowitsch, Jan Lahni, Jannic Hartwecker, Matthias Kuchem, Mirko Walter-Huber, Nils Vortmeier, Tim Delbrügger, Ümit Güler, Igor Vatolkin, Mike Preuss