Travelled to:1 × Austria
1 × France
Collaborated with:C.Baier S.Klüppelholz J.Klein J.K.0001 L.Leuschner D.P.0001 C.Dubslaff M.Daum S.Märcker
Talks about:model (2) probabilist (1) standard (1) reliabl (1) process (1) monitor (1) complex (1) checker (1) weight (1) tempor (1)
Person: Sascha Wunderlich
DBLP: Wunderlich:Sascha
Contributed to:
2014
2014
2017Wrote 3 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.
- LICS-CSL-2014-BaierKKW #complexity #decidability #linear #logic #monitoring
- Weight monitoring with linear temporal logic: complexity and decidability (CB, JK, SK, SW), p. 10.
- CAV-2017-Baier0L0W #markov #model checking #process #reliability
- Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes (CB, JK0, LL, DP0, SW), pp. 160–180.