Using theorem provers to guarantee closed-loop system properties

@INPROCEEDINGS{DBLP:conf/acc/ArechigaLPK12,
	pdf = {pub/TPgenloop.pdf},

  author    = {Nikos Ar{\'e}chiga and
               Sarah M. Loos and
               Andr{\'e} Platzer and
               Bruce H. Krogh},
  title     = {Using Theorem Provers to Guarantee
               Closed-Loop System Properties},
  booktitle = {ACC},
  longbooktitle = {American Control Conference, Montr\'eal,
               Canada, June 27-29},
  year      = {2012},
  editor    = {Dawn Tilbury},
  pages     = {3573-3580},
  doi       = {10.1109/ACC.2012.6315388},
}```