Launch week offerEnds in00h00m00s

annual Promonthly Pro

Christel Baier

Special, Dean

Technische Universität Dresden

Germany

Research Interests

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Explore related searches

Professors in Germany Professors in Biostatistics Biostatistics professors in Germany

Articles (20)

Year:

2026

Year:

2026

Year:

2026

Year:

2026

Year:

2026

Year:

2026

Year:

2026

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2024

Year:

2024

Year:

2024

Year:

2024

Collaborators (2)

Clemens Dubslaff

Assistant Professor

Eindhoven University of Technology

NETHERLANDS

View details

Joost-Pieter Katoen

Full professor (part-time)

RWTH Aachen University

GERMANY

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Christel Baier

Research Interests

Make your next move.

Explore related searches

Articles (20)

Probabilistic Model Checking via Families of Deterministic and Unambiguous Finite Automata

Linear dynamical systems with weight functions

Temporal Properties of Conditional Independence in Dynamic Bayesian Networks

Models of human behaviour

Backward Responsibility in Transition Systems Beyond Safety

Concurrent Permissive Strategy Templates

Verification meets Causality

Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains

Certificates and Witnesses for Multi-objective ω-Regular Queries in Markov Decision Processes

Model Checking Linear Temporal Logic with Standpoint Modalities

Certificates and witnesses for multi-objective queries in Markov decision processes

Formal Quality Measures for Predictors in Markov Decision Processes

When to Sample from Feature Diagrams?

Model Checking Markov Chains as Distribution Transformers

Multiplicative Rewards in Markovian Models

Responsibility in Actor-Based Systems

Entropic risk for turn-based stochastic games

A Spectrum of Approximate Probabilistic Bisimulations

Risk-Averse Optimization of Total Rewards in Markovian Models Using Deviation Measures

Linear dynamical systems with continuous weight functions

Collaborators (2)

Clemens Dubslaff

Joost-Pieter Katoen

Make your next move.