上一条: Optimal supervisory control with mean payoff objectives and under partial observation ?
下一条: Marking diagnosability verification in labeled Petri nets