@misc{indiciae929b892eae00,
  title = {Probabilistic Model Checking for Complex Cognitive Tasks -- A case study in human-robot interaction},
  author = {Sebastian Junges and Nils Jansen and Joost-Pieter Katoen and Ufuk Topcu},
  year = {2016},
  url = {https://arxiv.org/abs/1610.09409},
  note = {Source identifier: 1610.09409}
}