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 statusE-pub ahead of print - 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

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

Time to Learn - Learning Timed Automata from Tests. / Tappler, Martin; Aichernig, Bernhard; Larsen, Kim Guldstrand; Lorber, Florian.

Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings. Springer, 2019. p. 216 - 235 (Lecture Notes in Computer Science; Vol. 11750).

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

Tappler, M, Aichernig, B, Larsen, KG & 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. Lecture Notes in Computer Science, vol. 11750, Springer, pp. 216 - 235, 17th International Conference on Formal Modeling and Analysis of Timed Systems, Amsterdam, Netherlands, 27/08/19. https://doi.org/10.1007/978-3-030-29662-9_13
Tappler M, Aichernig B, Larsen KG, Lorber F. 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. Springer. 2019. p. 216 - 235. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-030-29662-9_13
Tappler, Martin ; Aichernig, Bernhard ; Larsen, Kim Guldstrand ; Lorber, Florian. / Time to Learn - Learning Timed Automata from Tests. Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings. Springer, 2019. pp. 216 - 235 (Lecture Notes in Computer Science).
@inproceedings{8046c7436758405b8515ac127f0b7143,
title = "Time to Learn - Learning Timed Automata from Tests",
author = "Martin Tappler and Bernhard Aichernig and Larsen, {Kim Guldstrand} and Florian Lorber",
year = "2019",
doi = "10.1007/978-3-030-29662-9_13",
language = "English",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "216 -- 235",
booktitle = "Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings",

}

TY - GEN

T1 - Time to Learn - Learning Timed Automata from Tests

AU - Tappler, Martin

AU - Aichernig, Bernhard

AU - Larsen, Kim Guldstrand

AU - Lorber, Florian

PY - 2019

Y1 - 2019

U2 - 10.1007/978-3-030-29662-9_13

DO - 10.1007/978-3-030-29662-9_13

M3 - Conference contribution

T3 - Lecture Notes in Computer Science

SP - 216

EP - 235

BT - Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings

PB - Springer

ER -