上一条： Infinite-step opacity of stochastic discrete-event systems
下一条： Verification complexity of a class of observational properties for modular discrete events systems
