Abstract: Verifying the safety of states and designing a safety controller are very important for safety critical systems (for example, robotic and automotive systems). Since the reachable set of a ...
Abstract: A machine learning-assisted quasi-bisection method (MLAQBM) is proposed for the broadband optimization of the pixelated patch antennas. Distinct from traditional MLA optimization methods, ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results