Author

Sarah Dépernet

0 works0 citationsORCID

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