References

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

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org