Abstract: Recognizing complex events revealed by raw data is an increasingly crucial task that serves as one of the foundations for system monitoring and decision making. Our goal is to accurately ...
Abstract: The verification of opacity of discrete event systems (DESs) is subjected to the curse of dimensionality because this issue has been proven to be EXPSPACE-complete. Therefore, how to improve ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results