New Insights into the Decidability of Opacity in Timed Automata

Weilin Deng, Daowen Qiu, Jingkai Yang

This paper investigates the decidability of opacity in timed automata (TA), a property that has been proven to be undecidable in general. First, we address a theoretical gap in rec…