Section 1. Purpose. This order continues the reduction in the elements of the Federal bureaucracy that the President has determined are unnecessary. Sec. 2. Reducing the Scope of the Federal ...
Abstract: Software vulnerabilities are a major cyber threat and it is important to detect them. One important approach to detecting vulnerabilities is to use deep learning while treating a program ...
Abstract: Signal Temporal Logic (STL) offers an expressive formalism for describing complex high-level tasks in dynamical systems. This paper introduces a time-varying Control Barrier Function (CBF) ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results