上一条： Secure-by-construction controller synthesis for stochastic systems under linear temporal logic specifications

下一条： A game-theoretical approach for optimal supervisory control of discrete event systems for cyclic tasks