Michael Rathmair, Christoph Luckeneder, Thomas Haspl, Bernhard Reiterer, Ralph Hoch, Michael W. Hofbaur, Hermann Kaindl. Formal Verification of Safety Properties of Collaborative Robotic Applications including Variability. In 30th IEEE International Conference on Robot & Human Interactive Communication, RO-MAN 2021, Vancouver, BC, Canada, August 8-12, 2021. pages 1283-1288, IEEE, 2021. [doi]
@inproceedings{RathmairLHRHHK21,
title = {Formal Verification of Safety Properties of Collaborative Robotic Applications including Variability},
author = {Michael Rathmair and Christoph Luckeneder and Thomas Haspl and Bernhard Reiterer and Ralph Hoch and Michael W. Hofbaur and Hermann Kaindl},
year = {2021},
doi = {10.1109/RO-MAN50785.2021.9515404},
url = {https://doi.org/10.1109/RO-MAN50785.2021.9515404},
researchr = {https://researchr.org/publication/RathmairLHRHHK21},
cites = {0},
citedby = {0},
pages = {1283-1288},
booktitle = {30th IEEE International Conference on Robot & Human Interactive Communication, RO-MAN 2021, Vancouver, BC, Canada, August 8-12, 2021},
publisher = {IEEE},
isbn = {978-1-6654-0492-1},
}