Simon Dierl, Falk Maria Howar, Sean Kauffman, Martin Kristjansen, Kim Guldstrand Larsen, Florian Lorber, Malte Mauritz. Learning Symbolic Timed Models from Concrete Timed Data. In Kristin Yvonne Rozier, Swarat Chaudhuri, editors, NASA Formal Methods - 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings. Volume 13903 of Lecture Notes in Computer Science, pages 104-121, Springer, 2023. [doi]
Abstract is missing.