Christel Baier

Identifiers

• name variant Christel Baier 0.60 · backfill

Papers (9)

1. From LTL to Unambiguous B\"uchi Automata via Disambiguation of Alternating Automata cs.FL · 2019 · author #3
2. Partial and Conditional Expectations in Markov Decision Processes with Integer Weights cs.LO · 2019 · author #2
3. Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes cs.LO · 2018 · author #1
4. Optimal decision making for sperm chemotaxis in the presence of noise physics.bio-ph · 2017 · author #4
5. Synthesis of Optimal Resilient Control Strategies cs.SY · 2017 · author #1
6. Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms cs.PF · 2017 · author #1
7. Probabilistic Model Checking for Energy Analysis in Software Product Lines cs.SE · 2013 · author #3
8. Computing Quantiles in Markov Reward Models cs.LO · 2013 · author #2
9. Verifying nondeterministic probabilistic channel systems against $\omega$-regular linear-time properties cs.LO · 2005 · author #1

Mentions

• 1312.7758 #3 · backfill · confidence 0.70 Christel Baier
• 1301.1818 #2 · backfill · confidence 0.70 Christel Baier

Frequent Coauthors

• Clemens Dubslaff 4 shared papers
• Nathalie Bertrand 2 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
• Benjamin M. Friedrich 1 shared papers
• Daniel Gburek 1 shared papers
• David M\"uller 1 shared papers
• Jakob Piribauer 1 shared papers
• Joachim Klein 1 shared papers
• Justus A. Kromer 1 shared papers
• Michael Ummels 1 shared papers
• Ocan Sankur 1 shared papers
• Philippe Schnoebelen 1 shared papers
• Sascha Kl\"uppelholz 1 shared papers
• Simon Jantsch 1 shared papers
• Steffen Lange 1 shared papers
• Steffen M\"arcker 1 shared papers
• Vojt\v{e}ch \v{R}eh\'ak 1 shared papers