@misc{indiciaeb87d4268e2ba,
  title = {Control Improvisation with Probabilistic Temporal Specifications},
  author = {Ilge Akkaya and Daniel J. Fremont and Rafael Valle and Alexandre Donzé and Edward A. Lee and Sanjit A. Seshia},
  year = {2016},
  doi = {10.1109/iotdi.2015.33},
  url = {https://arxiv.org/abs/1511.02279},
  note = {Source identifier: 1511.02279}
}