[IEEE 2016 IEEE First International Conference on Internet-of-Things Design and Implementation (IoTDI) - Berlin, Germany (2016.4.4-2016.4.8)] 2016 IEEE First International Conference on Internet-of-Things Design and Implementation (IoTDI) - Control Improvisation with Probabilistic Temporal Specifications
Akkaya, Ilge, Fremont, Daniel J., Valle, Rafael, Donze, Alexandre, Lee, Edward A., Seshia, Sanjit A.Year:
2016
Language:
english
DOI:
10.1109/IoTDI.2015.33
File:
PDF, 626 KB
english, 2016