Mgr. Jakub Večeřa publikace

Journal papers

2026	Masopust, T., Večeřa, J., On the Secret Protection Problem in Discrete-Event Systems, Automatica, accepted, 2026. arXiv, pdf, git repository

Conference papers

2026	Haar, S., Masopust, T., Večeřa, J., Secret Protection in Labeled Petri Nets, 18th Workshop on Discrete Event Systems (WODES 2026), pp. 13-18. doi, pdf.