上一条： Secure-by-Construction Optimal Path Planning for Linear Temporal Logic Tasks
下一条： Maximally permissive supervisor control of timed discrete-event systems under partial observation
