Collaborated with:C.Baier J.K.0001 L.Leuschner S.Wunderlich
Talks about:reliabl (1) process (1) checker (1) markov (1) interv (1) model (1) ensur (1) decis (1) iter (1)
Person: David Parker 0001
DBLP: 0001:David_Parker
Contributed to:
2017Wrote 1 papers:
- 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.