Execution-Time Opacity in (Controllable) Timed Automata is Hard
Open access0 citations
Abstract
International audience
// Source
View paper (DOI)Open access versionOpenAlexElectronic Proceedings in Theoretical Computer SciencePublished 2026-10-06
Authors: Sarah Dépernet, Engel Lefaucheux
Institutions: Centre National de la Recherche Scientifique, Université de Lorraine, Institut national de recherche en sciences et technologies du numérique, Laboratoire Lorrain de Recherche en Informatique et ses Applications