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 (CIG, 2012)

Model Checking Stochastic Automata for Dependability and Performance Measures. - Peter Buchholz 001; Jan Kriege; Dimitri Scheftelowitsch (DSN, 2014)

Markov Decision Petri Nets with Uncertainty. - Marco Beccuti; Elvio Gilberto Amparore; Susanna Donatelli; Dimitri Scheftelowitsch; Peter Buchholz 001; Giuliana Franceschinis (EPEW, 2015)

The Complexity of Uncertainty in Markov Decision Processes. - Dimitri Scheftelowitsch (SIAM Conf. on Control and its Applications, 2015)

Equivalence and Minimization for Model Checking Labeled Markov Chains. - Peter Buchholz 001; Jan Kriege; Dimitri Scheftelowitsch (EAI Endorsed Trans. Scalable Inf. Syst., 2016)

Bounded Aggregation for Continuous Time Markov Decision Processes. - Peter Buchholz 001; Iryna Dohndorf; Alexander Frank; Dimitri Scheftelowitsch (EPEW, 2017)

Analysis of Markov Decision Processes Under Parameter Uncertainty. - Peter Buchholz 001; Iryna Dohndorf; Dimitri Scheftelowitsch (EPEW, 2017)

Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters. - Dimitri Scheftelowitsch; Peter Buchholz 001; Vahid Hashemi; Holger Hermanns (VALUETOOLS, 2017)

Optimal decisions for continuous time Markov decision processes over finite planning horizons. - Peter Buchholz 001; Iryna Dohndorf; Dimitri Scheftelowitsch (Comput. Oper. Res., 2017)

Time-Based Maintenance Models Under Uncertainty. - Peter Buchholz 001; Iryna Dohndorf; Dimitri Scheftelowitsch (MMB, 2018)

Collider - Parallel Experiments in Silico. - Dimitri Scheftelowitsch (MMB, 2018)

Markov decision processes with uncertain parameters. - Dimitri Scheftelowitsch (2018)

Light robustness in the optimization of Markov decision processes with uncertain parameters. - Peter Buchholz 001; Dimitri Scheftelowitsch (Comput. Oper. Res., 2019)

Computation of weighted sums of rewards for concurrent MDPs. - Peter Buchholz 001; Dimitri Scheftelowitsch (Math. Methods Oper. Res., 2019)

Concurrent MDPs with Finite Markovian Policies. - Peter Buchholz 001; Dimitri Scheftelowitsch (MMB, 2020)