A Unified Method to Efficiently Verify Opacity of Discrete-Timed Automata.

Julian Klein, Kuize Zhang, Sabine Glesner

Browse the full ICFEM paper archive.