上一条： Verification and enforcement of strong infinite- and k-step opacity using state recognizers
下一条： Secure-by-construction controller synthesis for stochastic systems under linear temporal logic specifications
