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]
Abstract is missing.