Main content
List of publications
Theses
Book chapters
Journal Articles
Conference Articles
- Peter Buchholz, Iryna Dohndorf, Dimitri Scheftelowitsch:
Time-Based Maintenance Models Under Uncertainty
MMB 2018
- Dimitri Scheftelowitsch:
Collider - Parallel Experiments in Silico
MMB 2018
- Dimitri Scheftelowitsch, Peter Buchholz, Vahid Hashemi, Holger Hermanns:
Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters
VALUETOOLS 2017
preprint online companion
- Peter Buchholz, Iryna Dohndorf, Alexander Frank, Dimitri Scheftelowitsch:
Bounded Aggregation for Continuous-Time Markov Decision Processes
EPEW 2017
- Peter Buchholz, Iryna Dohndorf, Dimitri Scheftelowitsch:
Analysis of Markov Decision Processes under Parameter Uncertainty
EPEW 2017
- Peter Buchholz, Jan Kriege, Dimitri Scheftelowitsch:
Equivalence and Minimization for Model Checking Labeled Markov Chains (pdf)
VALUETOOLS 2015
- Marco Beccuti, Elvio Gilberto Amparore, Susanna Donatelli, Dimitri Scheftelowitsch, Peter Buchholz, Giuliana Franceschinis:
Markov Decision Petri Nets with Uncertainty (pdf)
EPEW 2015
- Dimitri Scheftelowitsch:
The Complexity of Uncertainty in Markov Decision Processes
SIAM CT15, 2015
- Peter Buchholz, Jan Kriege, Dimitri Scheftelowitsch:
Model Checking Stochastic Automata for Dependability and Performance Measures (online companion)
DSN 2014
Non-peer-reviewed contributions
