AUTHOREA
Log in Sign Up Browse Preprints

July 10, 2023
Opacity of Parametric Discrete Event Systems: Models, Decidability, and Algorithms
weilin deng , daowen qiu , jingkai yang , et al.