Abstract: Symbolic execution is a way of modelling the program state without executing it. It can be used to reason about the behaviour of the program statically. One of the use cases for using ...
Abstract: This study examines the issue of interpretability in fault diagnosis for rolling bearings using a symbolic learning technique. We propose the adoption of weighted signal temporal logic (wSTL ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback