Automatic Property Checking of Robotic Applications

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	IEEE/RSJ International Conference on Intelligent Robots and Systems
Pages	3869-3876
Number of pages	8
DOIs	https://doi.org/10.1109/IROS.2017.8206238
Publication status	Published - 14 Dec 2017

Access to Document

@inproceedings{4e92865971d640a3bf9804f309c574ea,

title = "Automatic Property Checking of Robotic Applications",

author = "A. Miyazawa and {De Oliveira Salazar Ribeiro}, {Pedro Fernando} and W. Li and Cavalcanti, {A. L. C.} and J. Timmis",

year = "2017",

month = dec,

day = "14",

doi = "10.1109/IROS.2017.8206238",

language = "English",

pages = "3869--3876",

booktitle = "IEEE/RSJ International Conference on Intelligent Robots and Systems",

}

TY - GEN

T1 - Automatic Property Checking of Robotic Applications

AU - Miyazawa, A.

AU - De Oliveira Salazar Ribeiro, Pedro Fernando

AU - Li, W.

AU - Cavalcanti, A. L. C.

AU - Timmis, J.

PY - 2017/12/14

Y1 - 2017/12/14

U2 - 10.1109/IROS.2017.8206238

DO - 10.1109/IROS.2017.8206238

M3 - Conference contribution

SP - 3869

EP - 3876

BT - IEEE/RSJ International Conference on Intelligent Robots and Systems

ER -