Clemens Dubslaff

Identifiers

• name variant Clemens Dubslaff 0.60 · backfill

Papers (4)

1. Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes cs.LO · 2018 · author #3
2. Synthesis of Optimal Resilient Control Strategies cs.SY · 2017 · author #2
3. Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms cs.PF · 2017 · author #2
4. Probabilistic Model Checking for Energy Analysis in Software Product Lines cs.SE · 2013 · author #1

Mentions

• 1312.7758 #1 · backfill · confidence 0.70 Clemens Dubslaff

Frequent Coauthors

• Christel Baier 4 shared papers
• \v{L}ubo\v{s} Koren\v{c}iak 2 shared papers
• Anton\'in Ku\v{c}era 1 shared papers
• Anton\'in Ku\v{c}era Vojt\v{e}ch \v{R}eh\'ak 1 shared papers
• Daniel Gburek 1 shared papers
• Nathalie Bertrand 1 shared papers
• Ocan Sankur 1 shared papers
• Sascha Kl\"uppelholz 1 shared papers
• Vojt\v{e}ch \v{R}eh\'ak 1 shared papers