@misc{indiciae92d773384625,
  title = {Model Checking as Control: Feedback Control for Statistical Model Checking of Cyber-Physical Systems},
  author = {Kenan Kalajdzic and Cyrille Jegourel and Ezio Bartocci and Axel Legay and Scott A. Smolka and Radu Grosu},
  year = {2015},
  url = {https://arxiv.org/abs/1504.06660},
  note = {Source identifier: 1504.06660}
}