Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2204.04698
Cited By
Verification of Strong K-Step Opacity for Discrete-Event Systems
IEEE Conference on Decision and Control (CDC), 2022
10 April 2022
Xiaoguang Han
Kuize Zhang
Zhiwu Li
Re-assign community
ArXiv (abs)
PDF
HTML
Github
Papers citing
"Verification of Strong K-Step Opacity for Discrete-Event Systems"
1 / 1 papers shown
Strong current-state and initial-state opacity of discrete-event systems
Xiaoguang Han
Kuize Zhang
Jiahui Zhang
Zhiwu Li
Zengqiang Chen
117
38
0
12 Sep 2021
1
Page 1 of 1
