Sciweavers

6 search results - page 2 / 2
» Learning Communicating Automata from MSCs
Sort
View
FASE
2008
Springer
13 years 7 months ago
Regular Inference for State Machines Using Domains with Equality Tests
Abstract. Existing algorithms for regular inference (aka automata learning) allows to infer a finite state machine by observing the output that the machine produces in response to ...
Therese Berg, Bengt Jonsson, Harald Raffelt