EVENT

MTSS Center Colloquium by Di-De Yen

On Tuesday 3 February, Di-De Yen (University of Liverpool) will give a talk, "Learning Register Automata over Ordered Data Domains", for our colloquium at 16:30. Further details can be found below.

Title:

Learning Register Automata over Ordered Data Domains

Abstract:

Register automata are finite automata equipped with memory that recognize data languages over infinite alphabets. In this talk, we present an active learning algorithm for deterministic register automata (DRAs) over ordered data domains, covering both dense domains (such as the rationals) and non-dense domains (such as the integers). Specifically, we introduce a polynomial-time active learning procedure for DRAs over ordered domains by utilizing oracles for membership, equivalence, and memorability queries. Furthermore, we demonstrate that the minimization of DRAs over the non-dense ordered domain of integers is decidable--a result that extends a property previously known only for dense domains.

Speaker:

Di-De Yen (University of Liverpool)

Time/Date:

16:30 - February 3 (Tuesday), 2026

Place:

Room 1310A , NII and online

Link:

For the latest information about MTSS Center Colloquium, please see the webpage

https://docs.google.com/document/d/1Qrg4c8XDkbO3tmns6tQwxn5lGHOrBON5LtHXXTpXDeA/edit

Contact:

If you would like to join, please contact by email.
Email :kphalakarn[at]nii.ac.jp