2 papers
cs.LG2025
TD-Interpreter: Enhancing the Understanding of Timing Diagrams with Visual-Language Learning
Jie He, Vincent Theo Willem Kenbeek, Zhantao Yang +4
We introduce TD-Interpreter, a specialized ML tool that assists engineers in understanding complex timing diagrams (TDs), originating from a third party, during their design and ve…
cs.LO2021
Flavours of Sequential Information Flow
Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger +2
Information-flow policies prescribe which information is available to a given user or subsystem. We study the problem of specifying such properties in reactive systems, which may r…