Inductive synthesis of an automaton from its specification in the logical language \({\mathfrak L}\) (Q5942109)
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: Inductive synthesis of an automaton from its specification in the logical language \({\mathfrak L}\) |
scientific article; zbMATH DE number 1637942
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Inductive synthesis of an automaton from its specification in the logical language \({\mathfrak L}\) |
scientific article; zbMATH DE number 1637942 |
Statements
Inductive synthesis of an automaton from its specification in the logical language \({\mathfrak L}\) (English)
0 references
2000
0 references
inductive synthesis of automata
0 references
reactive algorithms
0 references
