Dimitri Scheftelowitsch

According to our database, Dimitri Scheftelowitsch authored at least 15 papers between 2012 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Concurrent MDPs with Finite Markovian Policies.

Peter Buchholz, Dimitri Scheftelowitsch

Proceedings of the Measurement, Modelling and Evaluation of Computing Systems, 2020

2019

Computation of weighted sums of rewards for concurrent MDPs.

Peter Buchholz, Dimitri Scheftelowitsch

Math. Methods Oper. Res., 2019

Light robustness in the optimization of Markov decision processes with uncertain parameters.

Peter Buchholz, Dimitri Scheftelowitsch

Comput. Oper. Res., 2019

2018

Markov decision processes with uncertain parameters.

Dimitri Scheftelowitsch

PhD thesis, 2018

Collider - Parallel Experiments in Silico.

Dimitri Scheftelowitsch

Proceedings of the Measurement, Modelling and Evaluation of Computing Systems, 2018

Time-Based Maintenance Models Under Uncertainty.

Peter Buchholz, Iryna Dohndorf, Dimitri Scheftelowitsch

Proceedings of the Measurement, Modelling and Evaluation of Computing Systems, 2018

2017

Optimal decisions for continuous time Markov decision processes over finite planning horizons.

Peter Buchholz, Iryna Dohndorf, Dimitri Scheftelowitsch

Comput. Oper. Res., 2017

Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters.

Dimitri Scheftelowitsch, Peter Buchholz, Vahid Hashemi, Holger Hermanns

Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, 2017

Analysis of Markov Decision Processes Under Parameter Uncertainty.

Peter Buchholz, Iryna Dohndorf, Dimitri Scheftelowitsch

Proceedings of the Computer Performance Engineering - 14th European Workshop, 2017

Bounded Aggregation for Continuous Time Markov Decision Processes.

Peter Buchholz, Iryna Dohndorf, Alexander Frank, Dimitri Scheftelowitsch

Proceedings of the Computer Performance Engineering - 14th European Workshop, 2017

2016

Equivalence and Minimization for Model Checking Labeled Markov Chains.

Peter Buchholz, Jan Kriege, Dimitri Scheftelowitsch

EAI Endorsed Trans. Scalable Inf. Syst., 2016

2015

The Complexity of Uncertainty in Markov Decision Processes.

Dimitri Scheftelowitsch

Proceedings of the 2015 Proceedings of the Conference on Control and its Applications, 2015

Markov Decision Petri Nets with Uncertainty.

Marco Beccuti, Elvio Gilberto Amparore, Susanna Donatelli, Dimitri Scheftelowitsch, Peter Buchholz, Giuliana Franceschinis

Proceedings of the Computer Performance Engineering - 12th European Workshop, 2015

2014

Model Checking Stochastic Automata for Dependability and Performance Measures.

Peter Buchholz, Jan Kriege, Dimitri Scheftelowitsch

Proceedings of the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2014

2012

BeatTheBeat music-based procedural content generation in a mobile game.

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

Proceedings of the 2012 IEEE Conference on Computational Intelligence and Games, 2012