@article(AvD,
 author       = {J. Avigad and F. van Doorn},
 year         = {2021},
 title        = {Progress on a Perimeter Surveillance Problem},
 journal      = {IEEE International Conference on Autonomous Systems (ICAS)},
 pages        = {1--5},
 doi          = {10.1109/ICAS49788.2021.9551119},
)
@article(Intuit,
 author       = {J.A. Davis and L.R. Humphrey and D.B. Kingston},
 year         = {2019},
 title        = {When Human Intuition Fails: Using Formal Methods to Find an Error in the Proof of a Multi-agent Protocol},
 journal      = {Computer Aided Verification (CAV)},
 volume       = {11561},
 pages        = {366--375},
 doi          = {10.1007/978-3-030-25540-4_20},
)
@article(QUANT,
 author       = {D. Greve},
 year         = {2009},
 title        = {Automated Reasoning with Quantified Formulae},
 journal      = {Proceedings of the Eight International Workshop on the ACL2 Theorem Prover and its Applications},
 pages        = {110--113},
 doi          = {10.1145/1637837.1637855},
)
@article(DEFUNG,
 author       = {D. Greve and K. Slind},
 year         = {2013},
 title        = {A Step-Indexing Approach to Partial Functions},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {114},
 pages        = {42--53},
 doi          = {10.4204/EPTCS.114.4},
)
@article(DPSS,
 author       = {D.B. Kingston and R.W. Beard and R.S. Holt},
 year         = {2008},
 title        = {Decentralized Perimeter Surveillance Using a Team of UAVs},
 journal      = {IEEE Transactions on Robotics},
 volume       = {24},
 number       = {6},
 pages        = {1394--1404},
 doi          = {10.1109/TRO.2008.2007935},
)