Solving inequalities over finite state machines in the reactive systems design (Q5147341)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7301741
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Solving inequalities over finite state machines in the reactive systems design |
scientific article; zbMATH DE number 7301741 |
Statements
26 January 2021
0 references
reactive system
0 references
language \(L\) specification
0 references
\( \Sigma \)-automaton
0 references
synchronous composition of \(\Sigma \)-automata
0 references
inequality over \(\Sigma \)-automata
0 references
maximal solution
0 references
0 references
0.94707590341568
0 references
0.7400833368301392
0 references
0.7248479723930359
0 references
0.7247838973999023
0 references
0.7207355499267578
0 references
