Chen Chen, HeSuan Hu. An approach to specification simplification in automated manufacturing systems using invariance and inequality analysis. In IEEE International Conference on Robotics and Automation, ICRA 2015, Seattle, WA, USA, 26-30 May, 2015. pages 3841-3848, IEEE, 2015. [doi]
No references recorded for this publication.
No citations of this publication recorded.