TY  - RPRT
TI  - Control Improvisation with Probabilistic Temporal Specifications
AU  - Ilge Akkaya
AU  - Daniel J. Fremont
AU  - Rafael Valle
AU  - Alexandre Donzé
AU  - Edward A. Lee
AU  - Sanjit A. Seshia
PY  - 2016
DO  - 10.1109/iotdi.2015.33
UR  - https://arxiv.org/abs/1511.02279
ID  - 1511.02279
ER  -