Skip to content

Implement Register Automata #5

Description

@misberner

Implement support for register automata (as defined by Cassel et al.) and extensions (Register Mealy Machines etc.).
Required for LearnLib Issue #3

Metadata

Metadata

Assignees

Labels

No labels
No labels

Fields

No fields configured for Feature.

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions