arXiv Open Access 2024

Greybox Learning of Languages Recognizable by Event-Recording Automata

Anirban Majumdar Sayan Mukherjee Jean-François Raskin

Lihat Sumber

Abstrak

In this paper, we revisit the active learning of timed languages recognizable by event-recording automata. Our framework employs a method known as greybox learning, which enables the learning of event-recording automata with a minimal number of control states. This approach avoids learning the region automaton associated with the language, contrasting with existing methods. We have implemented our greybox learning algorithm with various heuristics to maintain low computational complexity. The efficacy of our approach is demonstrated through several examples.

Topik & Kata Kunci

cs.FL

Penulis (3)

Anirban Majumdar

Sayan Mukherjee

Jean-François Raskin

Format Sitasi

APA MLA BibTeX

Majumdar, A., Mukherjee, S., Raskin, J. (2024). Greybox Learning of Languages Recognizable by Event-Recording Automata. https://arxiv.org/abs/2408.12551

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2024
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓