Reactive synthesis for relay-explorer consensus with intermittent communication.

Runhan Sun Suda Bharadwaj Zhe Xu Ufuk Topcu Warren E. Dixon

Published in: Autom. (2023)

Keyphrases

communication systems
artificial intelligence
information sharing
data acquisition
computer networks
communication cost
real time
case study
agent architecture
information exchange
communication channels
program synthesis
functional programs