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
https://ti.arc.nasa.gov/events/nfm-2020/

Conference

Conference12th NASA Formal Methods Symposium
Abbreviated titleNFM 2020
CountryUnited States
CityMoffett Field
Period12/05/2014/05/20
Internet address

Keywords

  • 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.