1. Verification and enforcement of strong infinite- and k-step opacity using state recognizers. (November 2021) Authors: Ma, Ziyue; Yin, Xiang; Li, Zhiwu Journal: Automatica Issue: Volume 133(2021) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗