@inproceedings{'SYI+5',
title = { A Verifiable and Correct-by-Construction Controller for Robots in Human Environments },
author = {Silva, Lavindra de and Yan, Rongjie and Ingrand, Felix and Alami, Rachid and Bensalem, Saddek},
year = {2015},
booktitle = {Proceedings of the Tenth Annual {ACM/IEEE} International Conference on Human-Robot Interaction, {HRI} 2015 Extended Abstracts, Portland, OR, USA, March 02 - 05, 2015},
crossref = {DBLP:conf/hri/2015ea},
pages = {281},
team = {DCS, RSD},
}
