Opacity of Parametric Discrete Event Systems: Models, Decidability, and Algorithms.

Weilin Deng Daowen Qiu Jingkai Yang

Published in: CoRR (2023)

Keyphrases

discrete event systems
complex systems
mathematical models
bayesian networks
data structure
computational complexity
petri net
constraint programming
decision trees
reinforcement learning
parametric models