Designing tests for autonomous systems is challenging due to their complexity. This work proposes a flow-based approach for reactive test synthesis from temporal logic specifications, enabling the ...
Abstract: For many systems, there is an objective to minimize control effort while also providing a fast convergence rate. In the past decade, quadratic programming (QP) and control Lyapunov functions ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results