Media type: E-Article Title: Lecture Notes in Computer Science: Learning Symbolic Timed Models from Concrete Timed Data Contributor: Dierl, Simon; Howar, Falk Maria; Kauffman, Sean; Kristjansen, Martin; Guldstrand Larsen, Kim; Lorber, Florian; Mauritz, Malte imprint: Springer Nature Switzerland, 2023 Published in: Lecture Notes in Computer Science Language: Not determined DOI: 10.1007/978-3-031-33170-1_7 ISSN: 1611-3349; 0302-9743 Origination: Footnote: