摘要: RoboStar technology for model-based Software Engineering Robotics enables the construction of artefacts that capture and relate assumptions can play a role in reality. In this paper, we give brief overview approach.
acm.org 
sci-hub.st 参考文章(3)
Ana Cavalcanti, Augusto Sampaio, Alvaro Miyazawa, Pedro Ribeiro, Madiel Conserva Filho, André Didier, Wei Li, Jon Timmis, Verified simulation for robotics Science of Computer Programming. ,vol. 174, pp. 1- 37 ,(2019) , 10.1016/J.SCICO.2019.01.004
Alvaro Miyazawa, Pedro Ribeiro, Wei Li, Ana Cavalcanti, Jon Timmis, Jim Woodcock, RoboChart: modelling and verification of the functional behaviour of robotic applications Software and Systems Modeling. ,vol. 18, pp. 3097- 3149 ,(2019) , 10.1007/S10270-018-00710-Z
Ana Cavalcanti, James Baxter, Robert M. Hierons, Raluca Lefticaru, Testing Robots Using CSP tests and proofs. pp. 21- 38 ,(2019) , 10.1007/978-3-030-31157-5_2