Time to Learn - Learning Timed Automata from Tests

Martin Tappler, Bernhard Aichernig, Kim Guldstrand Larsen, Florian Lorber

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationFormal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings
PublisherSpringer
Pages216 - 235
Number of pages20
DOIs
Publication statusPublished - 2019
Event17th International Conference on Formal Modeling and Analysis of Timed Systems - Amsterdam, Netherlands
Duration: 27 Aug 201929 Aug 2019

Publication series

NameLecture Notes in Computer Science
Volume11750

Conference

Conference17th International Conference on Formal Modeling and Analysis of Timed Systems
Abbreviated titleFORMATS 2019
CountryNetherlands
CityAmsterdam
Period27/08/1929/08/19

Fields of Expertise

  • Information, Communication & Computing

Projects

Cite this

Tappler, M., Aichernig, B., Larsen, K. G., & Lorber, F. (2019). Time to Learn - Learning Timed Automata from Tests. In Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings (pp. 216 - 235). (Lecture Notes in Computer Science; Vol. 11750). Springer. https://doi.org/10.1007/978-3-030-29662-9_13