Abstract: We propose a counter-example guided inductive synthesis (CEGIS) scheme for the design of control Lyapunov functions and associated state-feedback controllers for linear systems affected by ...
Abstract: Robust and effective detection of a marine target is a challenging task due to the complex sea environment and target's motion. A long-time coherent integration technique is one of the most ...
That’s because a new framework is improving the probabilistic reasoning of LLMS like ChatGPT and Gemini. School of ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback