| Computation of weighted sums of rewards for concurrent MDPs P Buchholz, D Scheftelowitsch Mathematical Methods of Operations Research 89, 1-42, 2019 | 37 | 2019 |
| Multi-objective approaches to Markov decision processes with uncertain transition parameters D Scheftelowitsch, P Buchholz, V Hashemi, H Hermanns Proceedings of the 11th EAI International Conference on Performance …, 2017 | 23 | 2017 |
| Beatthebeat music-based procedural content generation in a mobile game A Jordan, D Scheftelowitsch, J Lahni, J Hartwecker, M Kuchem, ... 2012 IEEE conference on computational intelligence and games (CIG), 320-327, 2012 | 21 | 2012 |
| Light robustness in the optimization of Markov decision processes with uncertain parameters P Buchholz, D Scheftelowitsch Computers & Operations Research 108, 69-81, 2019 | 10 | 2019 |
| Optimal decisions for continuous time Markov decision processes over finite planning horizons P Buchholz, I Dohndorf, D Scheftelowitsch Computers & Operations Research 77, 267-278, 2017 | 8 | 2017 |
| Model checking stochastic automata for dependability and performance measures P Buchholz, J Krige, D Scheftelowitsch 2014 44th Annual IEEE/IFIP International Conference on Dependable Systems …, 2014 | 6 | 2014 |
| Analysis of Markov decision processes under parameter uncertainty P Buchholz, I Dohndorf, D Scheftelowitsch Computer Performance Engineering: 14th European Workshop, EPEW 2017, Berlin …, 2017 | 5 | 2017 |
| Time-based maintenance models under uncertainty P Buchholz, I Dohndorf, D Scheftelowitsch Measurement, Modelling and Evaluation of Computing Systems: 19th …, 2018 | 4 | 2018 |
| Markov decision petri nets with uncertainty M Beccuti, EG Amparore, S Donatelli, D Scheftelowitsch, P Buchholz, ... Computer Performance Engineering: 12th European Workshop, EPEW 2015, Madrid …, 2015 | 4 | 2015 |
| Markov decision processes with uncertain parameters D Scheftelowitsch | 3 | 2018 |
| Equivalence and minimization for model checking labeled Markov chains P Buchholz, J Kriege, D Scheftelowitsch EAI Endorsed Transactions on Scalable Information Systems 3 (11), 119-126, 2016 | 3 | 2016 |
| The complexity of uncertainty in markov decision processes D Scheftelowitsch 2015 Proceedings of the Conference on Control and its Applications, 303-310, 2015 | 3 | 2015 |
| Concurrent MDPs with Finite Markovian Policies P Buchholz, D Scheftelowitsch Measurement, Modelling and Evaluation of Computing Systems: 20th …, 2020 | 2 | 2020 |
| Online Companion for “Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters” D Scheftelowitsch, P Buchholz, V Hashemi, H Hermanns | 2 | 2017 |
| Bounded Aggregation for Continuous Time Markov Decision Processes P Buchholz, I Dohndorf, A Frank, D Scheftelowitsch Computer Performance Engineering: 14th European Workshop, EPEW 2017, Berlin …, 2017 | 1 | 2017 |
| Multi-criteria approaches to Markov decision processes with uncertain transition parameters D Scheftelowitsch, P Buchholz Tech. rep., TU Dortmund, 2015 | 1 | 2015 |
| Multi-Scenario Uncertainty in Markov Decision Processes D Scheftelowitsch | | 2018 |
| Collider–Parallel Experiments in Silico D Scheftelowitsch Measurement, Modelling and Evaluation of Computing Systems: 19th …, 2018 | | 2018 |
| POWVER D Scheftelowitsch, P Buchholz, V Hashemi, H Hermanns | | 2017 |
| Mobile Musik-Welten T Delbrügger, Ü Güler, J Hartwecker, A Jordan, M Kuchem, J Lahni, ... | | 2013 |
