OpenAlex
Infinite-step opacity and K-step opacity of stochastic discrete-event systems
Work