@misc{indiciae7cc1e55d7e93,
  title = {Cross-entropy optimisation of importance sampling parameters for statistical model checking},
  author = {Cyrille Jégourel and Axel Legay and Sean Sedwards},
  year = {2012},
  url = {https://arxiv.org/abs/1201.5229},
  note = {Source identifier: 1201.5229}
}