Explanations for human-on-the-loop: a probabilistic model checking approach.

Nianyu Li, Sridhar Adepu, Eunsuk Kang, David Garlan

Browse the full ICSE paper archive.