Dietmar Bruckner, Markus Vincze, Isabella Hinterleitner. Towards Reorientation with a Humanoid Robot. In Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification, and Validation - International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers. Volume 336 of Communications in Computer and Information Science, pages 156-161, Springer, 2011. [doi]
@inproceedings{BrucknerVH11,
title = {Towards Reorientation with a Humanoid Robot},
author = {Dietmar Bruckner and Markus Vincze and Isabella Hinterleitner},
year = {2011},
doi = {10.1007/978-3-642-34781-8_13},
url = {http://dx.doi.org/10.1007/978-3-642-34781-8_13},
researchr = {https://researchr.org/publication/BrucknerVH11},
cites = {0},
citedby = {0},
pages = {156-161},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation - International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers},
editor = {Reiner Hähnle and Jens Knoop and Tiziana Margaria and Dietmar Schreiner and Bernhard Steffen},
volume = {336},
series = {Communications in Computer and Information Science},
publisher = {Springer},
isbn = {978-3-642-34780-1},
}