A

AAAI22_TAG_Supplementary_materials

Supplementary Materials for "TAG: Learning Timed Automata from Logs" (AAAI-22).