@misc{indiciaec54631246e9e,
  title = {SMCL - Stochastic Model Checker for Learning in Games},
  author = {Hongyang Qu and Michalis Smyrnakis and Sandor M. Veres},
  year = {2016},
  url = {https://arxiv.org/abs/1611.07420},
  note = {Source identifier: 1611.07420}
}