Meta data
- BibTeX key
- conf/iotdi/AkkayaFVDLS16
- entry type
- inproceedings
- booktitle
- IoTDI
- year
- 2016
- pages
- 187-198
- publisher
- IEEE Computer Society
- crossref
- conf/iotdi/2016
- ee
- http://doi.ieeecomputersociety.org/10.1109/IoTDI.2015.33
- isbn
- 978-1-4673-9948-7
- url
- http://dblp.uni-trier.de/db/conf/iotdi/iotdi2016.html#AkkayaFVDLS16
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/iotdi/AkkayaFVDLS16
%A Akkaya, Ilge
%A Fremont, Daniel J.
%A Valle, Rafael
%A Donzé, Alexandre
%A Lee, Edward A.
%A Seshia, Sanjit A.
%B IoTDI
%D 2016
%I IEEE Computer Society
%K
%P 187-198
%T Control Improvisation with Probabilistic Temporal Specifications.
%U http://dblp.uni-trier.de/db/conf/iotdi/iotdi2016.html#AkkayaFVDLS16
%@ 978-1-4673-9948-7
@inproceedings{conf/iotdi/AkkayaFVDLS16,
added-at = {2023-12-13T01:20:23.000+0100},
author = {Akkaya, Ilge and Fremont, Daniel J. and Valle, Rafael and Donzé, Alexandre and Lee, Edward A. and Seshia, Sanjit A.},
biburl = {https://www.bibsonomy.org/bibtex/226f6269b9670cab51dc9acf701f614e8/admin},
booktitle = {IoTDI},
crossref = {conf/iotdi/2016},
ee = {http://doi.ieeecomputersociety.org/10.1109/IoTDI.2015.33},
interhash = {70270224922ef6b8c16c3e2e87bc2326},
intrahash = {26f6269b9670cab51dc9acf701f614e8},
isbn = {978-1-4673-9948-7},
keywords = {},
pages = {187-198},
publisher = {IEEE Computer Society},
timestamp = {2023-12-13T01:20:23.000+0100},
title = {Control Improvisation with Probabilistic Temporal Specifications.},
url = {http://dblp.uni-trier.de/db/conf/iotdi/iotdi2016.html#AkkayaFVDLS16},
year = 2016
}