From Passive to Active: Learning Timed Automata Efficiently

Research output: Contribution to conferencePaperResearchpeer-review

Original languageEnglish
Publication statusAccepted/In press - Mar 2020
Event12th NASA Formal Methods Symposium - NASA Ames Research Center, Moffett Field, United States
Duration: 12 May 202014 May 2020


Conference12th NASA Formal Methods Symposium
Abbreviated titleNFM 2020
CountryUnited States
CityMoffett Field
Internet address


  • Active automata learning
  • Genetic programming
  • Timed automata
  • Model learning
  • Model inference

Fields of Expertise

  • Information, Communication & Computing

Cite this

Pferscher, A., Aichernig, B., & Tappler, M. (Accepted/In press). From Passive to Active: Learning Timed Automata Efficiently. Paper presented at 12th NASA Formal Methods Symposium, Moffett Field, United States.