Active Learning of Mealy Machines with Timers

Staquet, Gaëtan

Download

Unpublished conference/Abstract (Scientific congresses and symposiums)

Active Learning of Mealy Machines with Timers

Staquet, Gaëtan

2024 • MOVEP'24: 16th school on modelling and verification of parallel processes

Permalink
https://hdl.handle.net/20.500.12907/49194

Files (1)Send to Details Statistics Bibliography Similar publications

Files

Full Text

LearningMealyMachinesWithTimers.pdf

Author postprint (361.88 kB)

Download

All documents in ORBi UMONS are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

Details

Research center :

CREMMI - Modélisation mathématique et informatique

Disciplines :

Computer science

Author, co-author :

Staquet, Gaëtan ; Université de Mons - UMONS > Faculté des Sciences > Service d'Informatique théorique

Language :

English

Title :

Active Learning of Mealy Machines with Timers

Publication date :

30 May 2024

Event name :

MOVEP'24: 16th school on modelling and verification of parallel processes

Event organizer :

Inria

Event place :

Rennes, France

Event date :

From 27th to 31st May 2024

Audience :

International

Research unit :

S829 - Informatique théorique

Research institute :

R300 - Institut de Recherche en Technologies de l'Information et Sciences de l'Informatique
R150 - Institut de Recherche sur les Systèmes Complexes

Name of the research project :

5104 - ASP-Staquet - Artwork - Fédération Wallonie Bruxelles

Funders :

F.R.S.-FNRS - Fonds de la Recherche Scientifique

Available on ORBi UMONS :

since 10 June 2024

Statistics

Number of views

37 (0 by UMONS)

Number of downloads

21 (0 by UMONS)

More statistics