Using theorem provers to guarantee closed-loop system properties

@inproceedings{DBLP:conf/acc/ArechigaLPK12,
	pdf = {pub/TPgenloop.pdf},
	author = {['Nikos Aréchiga', 'Sarah M. Loos', 'André Platzer', 'Bruce H. Krogh']},
	title = {Using Theorem Provers to Guarantee
               Closed-Loop System Properties},
	booktitle = {ACC},
	longbooktitle = {American Control Conference, Montréal,
               Canada, June 27-29},
	year = {2012},
	editor = {['Dawn Tilbury']},
	pages = {3573-3580},
	doi = {10.1109/ACC.2012.6315388}
}