Learning Mealy Machines with One Timer

Frits Vaandrager, Roderick Bloem, Masoud Ebrahimi*

*Korrespondierende/r Autor/in für diese Arbeit

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

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.
Originalspracheenglisch
Titel14th-15th International Conference on Language and Automata Theory and Applications
Herausgeber (Verlag)Springer Nature Switzerland AG
PublikationsstatusVeröffentlicht - 2021

Fingerprint Untersuchen Sie die Forschungsthemen von „Learning Mealy Machines with One Timer“. Zusammen bilden sie einen einzigartigen Fingerprint.

Dieses zitieren