Abstract: Path coverage is of critical importance in software testing and verification. Furthermore, path explosion is a well-known challenge for automatic software analysis techniques like symbolic ...
Abstract: In this paper, A novel model-free adaptive recursive optimal control (MFAROC) is proposed for time-varying nonlinear systems. On the basis of the optimization index designed based on the ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback