Automatic property checking of robotic applications

Alvaro Miyazawa, Pedro Ribeiro 0002, Wei Li, Ana Cavalcanti, Jon Timmis. Automatic property checking of robotic applications. In 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2017, Vancouver, BC, Canada, September 24-28, 2017. pages 3869-3876, IEEE, 2017. [doi]

Abstract

Abstract is missing.