%0 Journal Article %1 journals/arobots/JiangED17 %A Jiang, Hengle %A Elbaum, Sebastian G. %A Detweiler, Carrick %D 2017 %J Auton. Robots %K %N 4 %P 1027-1046 %T Inferring and monitoring invariants in robotic systems. %U http://dblp.uni-trier.de/db/journals/arobots/arobots41.html#JiangED17 %V 41

@article{journals/arobots/JiangED17, added-at = {2023-12-13T07:22:45.000+0100}, author = {Jiang, Hengle and Elbaum, Sebastian G. and Detweiler, Carrick}, biburl = {https://www.bibsonomy.org/bibtex/29426ac7f6f102fb6f8381fe8a32e40af/admin}, ee = {http://dx.doi.org/10.1007/s10514-016-9576-y}, interhash = {b84637d3076fdbe5d4b6f4fc2e2d5ae8}, intrahash = {9426ac7f6f102fb6f8381fe8a32e40af}, journal = {Auton. Robots}, keywords = {}, number = 4, pages = {1027-1046}, timestamp = {2023-12-13T07:22:45.000+0100}, title = {Inferring and monitoring invariants in robotic systems.}, url = {http://dblp.uni-trier.de/db/journals/arobots/arobots41.html#JiangED17}, volume = 41, year = 2017 }