Institution

Laboratoire Lorrain de Recherche en Informatique et ses Applications

FRfacility

Recent research

AI & ComputingOpen access
Execution-Time Opacity in (Controllable) Timed Automata is Hard
International audience
Electronic Proceedings in Theoretical Computer Science2026-10-060 citationsDOI