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]
@inproceedings{DierlHKKLLM23,
title = {Learning Symbolic Timed Models from Concrete Timed Data},
author = {Simon Dierl and Falk Maria Howar and Sean Kauffman and Martin Kristjansen and Kim Guldstrand Larsen and Florian Lorber and Malte Mauritz},
year = {2023},
doi = {10.1007/978-3-031-33170-1_7},
url = {https://doi.org/10.1007/978-3-031-33170-1_7},
researchr = {https://researchr.org/publication/DierlHKKLLM23},
cites = {0},
citedby = {0},
pages = {104-121},
booktitle = {NASA Formal Methods - 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings},
editor = {Kristin Yvonne Rozier and Swarat Chaudhuri},
volume = {13903},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-031-33170-1},
}