IGA PrF 2023 026
Z ApolloWiki
IGA PrF 2023 026
IGA PrF 2023 026
The university support of the PhD and graduate students.
Results
Journal articles
Journal articles
Verifying Weak and Strong k-Step Opacity in Discrete-Event Systems
Verifying Weak and Strong k-Step Opacity in Discrete-Event Systems
Jiří Balun, Tomáš Masopust
Automatica 155, 111153, 2023
Conference papers
Conference papers
Speed Me up if You Can: Conditional Lower Bounds on Opacity Verification
Speed Me up if You Can: Conditional Lower Bounds on Opacity Verification
Jiří Balun, Petr Osička, Tomáš Masopust
48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023), 2023
Principal investigator
Principal investigator
Martin TrnečkaTeam members
Team members
Jiří Balun
Jiří Valůšek
2023/03/01-2023/12/31
Palacký University Olomouc
Discrete-Event Systems and Theoretical Computer Science Research Group