AI systems are beginning to produce proof ideas that experts take seriously, even when final acceptance is still pending.
HP Inc. (2017). HP Prime Graphing Calculator: Manual. 3rd ed. Stanford Research Park, Palo Alto, California, U.S.: HP Development Company, L.P. https://www.hpcalc.org ...
Abstract: This paper addresses the persistence and security problem of nonlinear distributed heterogeneous platoons during driving based on the discrete-time control barrier function (DCBF).