Login / Signup

Further reduction of minimal first-met bad markings for the computationally efficient synthesis of a maximally permissive controller.

GaiYun LiuDaniel Yuh Chao
Published in: Int. J. Control (2015)
Keyphrases