Design of reactive algorithms by solving equations over automata (Q2263188)
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 6416291
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Design of reactive algorithms by solving equations over automata |
scientific article; zbMATH DE number 6416291 |
Statements
Design of reactive algorithms by solving equations over automata (English)
0 references
18 March 2015
0 references
reactive system
0 references
specification in language L
0 references
\(\Sigma\)-FSM
0 references
synchronous composition of \(\Sigma\)-FSMs
0 references
inequality over \(\Sigma\)-FSMs
0 references
maximal solution
0 references
0 references
0.8883964
0 references
0.85593987
0 references
0.84827936
0 references
0 references
0.8289138
0 references
0.82765347
0 references
