Active learning of one-clock timed automata using constraint solving (Q6160915)
From MaRDI portal
scientific article; zbMATH DE number 7691506
Language | Label | Description | Also known as |
---|---|---|---|
English | Active learning of one-clock timed automata using constraint solving |
scientific article; zbMATH DE number 7691506 |
Statements
Active learning of one-clock timed automata using constraint solving (English)
0 references
2 June 2023
0 references
active learning
0 references
timed automata
0 references
constraint solving
0 references