Verimag

bibtex

@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},
}

URL

Sections de Publications


Contact | Plan du site | Site réalisé avec SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 874508