Formal design and analysis of FMS controller.

Gang Xu, Zhiming Wu

Browse the full SMC paper archive.