Learning Mealy Machines with One Timer

Frits Vaandrager, Roderick Bloem, Masoud Ebrahimi*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

We present Mealy machines with a single timer (MM1Ts), a class of models that is both sufficiently expressive to describe the real-time behavior of many realistic applications, and can be learned efficiently. We show how learning algorithms for MM1Ts can be obtained via a reduction to the problem of learning Mealy machines. We describe an implementation of an MM1T learner on top of LearnLib, and compare its performance with recent algorithms proposed by Aichernig et al. and An et al. on several realistic benchmarks.
Original languageEnglish
Title of host publication14th-15th International Conference on Language and Automata Theory and Applications
PublisherSpringer Nature Switzerland AG
Publication statusPublished - 2021

Keywords

  • Automata learning
  • Mealy Machines
  • Timed automata
  • WiFi
  • WPA2

Fingerprint Dive into the research topics of 'Learning Mealy Machines with One Timer'. Together they form a unique fingerprint.

Cite this