Abstract: This article proposes an adjustable-error neural network (NN) approximator and incorporates it into the adaptive neural tracking controller design of ...
Abstract: Theorem proving demonstrates promising potential for verifying problems beyond the capabilities of SMT-solver-based verification tools. We explore and showcase the capability of Lean, an ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results