A marriage of formal methods and LLMs seeks to harness the strengths of both.
Exploration of algorithms, recursion, recurrences, asymptotics, relations, graphs, and trees with practical implementations.
Abstract: In order to achieve precise and robust tracking control of electronic throttle (ET) systems subject to external disturbances and uncertainties, a novel 2-order discrete-time fast terminal ...
Abstract: Recently, the operational domain of unmanned aerial vehicles (UAVs) has expanded from outdoor environments to indoor spaces such as factories, power plants, and tunnels. In these ...
We present a variation of RRT* that can explore and exploit the search space (SE) in parallel using many-core GPUs, efficiently producing an initial path that is collision-free, kinematically ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results