Enea Scioni, Gianni Borghesan, Herman Bruyninckx, Marcello Bonfé. A framework for formal specification of robotic constraint-based tasks and their concurrent execution with online qos monitoring. In 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, Chicago, IL, USA, September 14-18, 2014. pages 2963-2969, IEEE, 2014. [doi]
@inproceedings{ScioniBBB14,
title = {A framework for formal specification of robotic constraint-based tasks and their concurrent execution with online qos monitoring},
author = {Enea Scioni and Gianni Borghesan and Herman Bruyninckx and Marcello Bonfé},
year = {2014},
doi = {10.1109/IROS.2014.6942971},
url = {http://dx.doi.org/10.1109/IROS.2014.6942971},
researchr = {https://researchr.org/publication/ScioniBBB14},
cites = {0},
citedby = {0},
pages = {2963-2969},
booktitle = {2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, Chicago, IL, USA, September 14-18, 2014},
publisher = {IEEE},
}