An approach to specification simplification in automated manufacturing systems using invariance and inequality analysis.

Chen Chen, Hesuan Hu

Browse the full ICRA paper archive.