# Abstraction-Based Synthesis of Opacity-Enforcing Controllers using Alternating Simulation Relations

> Research article (2019 IEEE 58th Conference on Decision and Control (CDC), 2019) · cited 11× · AI/ML

**Wikidata**: [openalex:W3012167693](https://www.wikidata.org/wiki/openalex:W3012167693)  
**Source**: https://4ort.xyz/entity/abstraction-based-synthesis-of-opacity-enforcing-controllers-using-alternating-simulation-relations