%0 Conference Paper %1 conf/cdc/IzzoQV16 %A Izzo, Paolo %A Qu, Hongyang %A Veres, Sandor M. %B CDC %D 2016 %I IEEE %K %P 4985-4991 %T A stochastically verifiable autonomous control architecture with reasoning. %U http://dblp.uni-trier.de/db/conf/cdc/cdc2016.html#IzzoQV16 %@ 978-1-5090-1837-6

@inproceedings{conf/cdc/IzzoQV16, added-at = {2023-12-12T23:36:05.000+0100}, author = {Izzo, Paolo and Qu, Hongyang and Veres, Sandor M.}, biburl = {https://www.bibsonomy.org/bibtex/23a8e907292095bd2adee730939c7a966/admin}, booktitle = {CDC}, crossref = {conf/cdc/2016}, ee = {https://doi.org/10.1109/CDC.2016.7799031}, interhash = {57c966878c7772d605adb0e6c69bed65}, intrahash = {3a8e907292095bd2adee730939c7a966}, isbn = {978-1-5090-1837-6}, keywords = {}, pages = {4985-4991}, publisher = {IEEE}, timestamp = {2023-12-12T23:36:05.000+0100}, title = {A stochastically verifiable autonomous control architecture with reasoning.}, url = {http://dblp.uni-trier.de/db/conf/cdc/cdc2016.html#IzzoQV16}, year = 2016 }