Reactive synthesis for relay-explorer consensus with intermittent communication (Q6175602)
From MaRDI portal
scientific article; zbMATH DE number 7716074
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Reactive synthesis for relay-explorer consensus with intermittent communication |
scientific article; zbMATH DE number 7716074 |
Statements
Reactive synthesis for relay-explorer consensus with intermittent communication (English)
0 references
24 July 2023
0 references
reactive synthesis
0 references
relay-explorer problem
0 references
approximate consensus
0 references
intermittent communication
0 references
switched systems
0 references
multi-agent systems
0 references
0 references
0 references
