An extensible Python toolbox for search-based test generation for cyber-physical systems. This work is based of the MATLAB toolbox S-TaLiRo, which is available here.
The LIM assumes the relevant dynamics can be represented as a linear system forced by stochastic noise (Hasselmann, 1988; Penland & Sardeshmukh, 1995), and written in the form of a linear stochastic ...
Abstract: Acknowledgment: As originally submitted and published there was an error in this document. The authors subsequently provided the following text: "This work ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results