Verification of Current-state Opacity for Discrete Event Systems Modeled With Unbounded Petri Nets.

Haoming Zhu, Li Yin, Naiqi Wu, Zhiwu Li

Browse the full CoDIT paper archive.