%0 Conference Paper %1 conf/icse/LiAKG20 %A Li, Nianyu %A Adepu, Sridhar %A Kang, Eunsuk %A Garlan, David %B SEAMS@ICSE %D 2020 %E Honiden, Shinichi %E Nitto, Elisabetta Di %E Calinescu, Radu %I ACM %K dblp %P 181-187 %T Explanations for human-on-the-loop: a probabilistic model checking approach. %U http://dblp.uni-trier.de/db/conf/icse/seams2020.html#LiAKG20 %@ 978-1-4503-7962-5

@inproceedings{conf/icse/LiAKG20, added-at = {2020-09-24T00:00:00.000+0200}, author = {Li, Nianyu and Adepu, Sridhar and Kang, Eunsuk and Garlan, David}, biburl = {https://www.bibsonomy.org/bibtex/2e761b40e044d7214d74bbca77db32097/dblp}, booktitle = {SEAMS@ICSE}, crossref = {conf/icse/2020seams}, editor = {Honiden, Shinichi and Nitto, Elisabetta Di and Calinescu, Radu}, ee = {https://doi.org/10.1145/3387939.3391592}, interhash = {1b30fa59e665e79595c1e9acca0f079d}, intrahash = {e761b40e044d7214d74bbca77db32097}, isbn = {978-1-4503-7962-5}, keywords = {dblp}, pages = {181-187}, publisher = {ACM}, timestamp = {2020-09-25T12:02:50.000+0200}, title = {Explanations for human-on-the-loop: a probabilistic model checking approach.}, url = {http://dblp.uni-trier.de/db/conf/icse/seams2020.html#LiAKG20}, year = 2020 }