Active learning of one-clock timed automata using constraint solving (Q6160915)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Active learning of one-clock timed automata using constraint solving |
scientific article; zbMATH DE number 7691506
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.9009885787963868
0 references
0.8285081386566162
0 references
0.816672146320343
0 references
0.7976446747779846
0 references
0.7954524755477905
0 references
