Travelled to:2 × France
Collaborated with:C.Baier S.Klüppelholz J.Klein C.Dubslaff M.Daum S.Wunderlich
Talks about:model (2) probabilist (1) markovian (1) standard (1) probabl (1) reason (1) object (1) effici (1) condit (1) comput (1)
Person: Steffen Märcker
DBLP: M=auml=rcker:Steffen
Contributed to:
2014
2014Wrote 2 papers:
- FASE-2014-BaierDKDKMW #model checking #multi #probability #reasoning #standard
- Probabilistic Model Checking and Non-standard Multi-objective Reasoning (CB, CD, SK, MD, JK, SM, SW), pp. 1–16.
- TACAS-2014-BaierKKM #markov #modelling
- Computing Conditional Probabilities in Markovian Models Efficiently (CB, JK, SK, SM), pp. 515–530.